离散数学数理逻辑部分期末复习题

合集下载

《离散数学》复习题及答案

《离散数学》试题及答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答：（1），（4）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答：（2），（3），（4），（5），（6）4、公式?x((A(x)?B(y，x))??z C(y，z))?D(x)中，自由变元是( )，约束变元是( )。

答：x,y, x,z5、判断下列语句是不是命题。

若是，给出命题的真值。

( )(1)北京是中华人民共和国的首都。

(2) 陕西师大是一座工厂。

(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。

(5) 前进！ (6) 给我一杯水吧！答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。

答：所有人都不是大学生，有些人不会死7、设P：我生病，Q：我去学校，则下列命题可符号化为( )。

(1) 只有在生病时，我才不去学校 (2) 若我生病，则我不去学校(3) 当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校答：（1）P↔（4）QP→⌝P⌝Q→⌝（2）QP⌝→（3）Q8、设个体域为整数集，则下列公式的意义是( )。

(1) ?x?y(x+y=0) (2) ?y?x(x+y=0)答：（1）对任一整数x存在整数 y满足x+y=0（2）存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合，确定下列命题的真值：(1) ?x?y (xy=y) ( ) (2) ?x?y(x+y=y) ( )(3) ?x?y(x+y=x) ( ) (4) ?x?y(y=2x) ( )答：（1） F （2） F （3）F （4）T10、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式?x(P(x)?Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答：（1）11、命题“2是偶数或-3是负数”的否定是（）。

离散数学期末复习题(6套)

《离散数学》期末考试题(A)一、填空题(每小题3分，共15分)1.设}}{},,{{c b a A =，}}{},,{},{{c c b a B =，则)(=⋃B A ，)(=⋂B A ，)()(=A P .2.集合},,{c b a A =，其上可定义( )个封闭的1元运算，( )个封闭的2元运算，( )个封闭的3元运算.3.命题公式1)(↑∧q p 的对偶式为( ).4.所有6的因数组成的集合为( ).5.不同构的5阶根树有( )棵.二、单选题(每小题3分，共15分)1.设A , B 是集合，若A B A =-，则(A)B = ∅ (B) A = ∅ (C)=⋂B A ∅ (D)A B A =⋂2.谓词公式)())()((x R y yQ x P x ∧∃→∀中量词x ∀的辖域为(A))())()((x R y yQ x P x ∧∃→∀ (B))()(y yQ x P ∃→(C))())()((x R y yQ x P ∧∃→ (D))()(y yQ x P ∃→和)(x R3.任意6阶群的子群的阶一定不为(A)4 (B)6 (C)2 (D)34.设n 是正整数，则有限布尔代数的元素个数为(A)2n (B)4n (C)n 2 (D)2n5.对于下列序列，可构成简单无向图的度数序列为(A)3, 3, 4, 4, 5 (B)0, 1, 3, 3, 3 (C)1, 1, 2, 2, 3 (D)1, 1, 2, 2, 2三、判断题(每小题3分，共15分): 正确打“√”，错误打“×”.1. 设N N N :⨯→f ，)1,()(+=x x x f ，则f 是满射. () 2. 5男5女圆桌交替就座的方式有2880种. () 3. 设),(≤L 是格，对于L z y x ∈,,，若z x y x ⋅=⋅且z x y x +=+，则z y =. () 4. 任何树都至少2片树叶. ()5. 无向图G 有生成树的充要条件是G 为连通图. ( )四、(10分)设C B A ,,和D 是集合，证明)()()()(D B C A D C B A ⨯-⨯⊆-⨯-，并举例说明上式中不能将⊆改为 = .五、(15分)设N 是自然数集合，定义N 上的关系R 如下：y x R y x +⇔∈),(是偶数，1.证明R 是N 上的等价关系.2.求出N 关于等价关系R 的所有等价类.3.试求出一个N 到N 的函数f ，使得)}()(,N ,|),{(y f x f y x y x R =∈=.六、(10分)在实数集合R 中证明下列推理的有效性:因为R 中存在自然数，而所有自然数是整数，所以R 中存在整数.七、(10分)设R 是实数集合，令}0,R ,|),{(≠∈=a b a b a G ，定义G 上的运算如下: 对于任意G d c b a ∈),(),,(，),(),(),(b ad ac d c b a +=⋅，证明),(⋅G 是非Abel 群.八、(10分)若简单平面图G 的节点数7=n 且边数15=m ，则G 是连通图，试证明之.《离散数学》期末考试题(B)一、填空题(每小题3分，共15分)1.设,,},,{{b a b a A =∅}，则-A ∅ = ( )，-A {∅} = ( )，)(A P 中的元素个数=|)(|A P ( ).2.设集合A 中有3个元素，则A 上的二元关系有( )个，其中有( )个是A 到A 的函数.3.谓词公式))()(())()((y P y Q y x Q x P x ⌝∧∃∧→∀中量词x ∀的辖域为( ), 量词y ∃的辖域为( ).4.设}24,12,8,6,4,3,2,1{24=D ，对于其上的整除关系“|”，元素( )不存在补元.5.当n ( )时，n 阶完全无向图n K 是平面图，当n 为( )时，n K 是欧拉图.二、单选题(每小题3分，共15分)1.设R 是集合A 上的偏序关系，1-R 是R 的逆关系，则1-⋃R R 是A 上的(A)偏序关系 (B)等价关系 (C)相容关系 (D)以上结论都不成立2.由2个命题变元p 和q 组成的不等值的命题公式的个数有(A)2 (B)4 (C)8 (D)163.设p 是素数且n 是正整数，则任意有限域的元素个数为(A)n p + (B)pn (C)n p (D)pn4.设R 是实数集合，≤是其上的小于等于关系，则(R, ≤)是(A)有界格 (B)分配格 (C)有补格 (D)布尔格5.3阶完全无向图3K 的不同构的生成子图有(A)2 (B)3 (C)4 (D)5 三、判断题(每小题3分，共15分): 正确打“√”，错误打“×”.1.若一个元素a 既存在左逆元l a ，又存在右逆元r a ，则r l a a =. ( )2.命题联结词→不满足结合律. ( )3.在Z 8 = {0，1，2，3，4，5，6，7}中，2关于“⋅8”的逆元为4. ( )4.整环不一定是域. ( )5.任何),(m n 平面图的面数2+-=n m r . ( )四、(10分)设B A f →:且C B g →:，若g f 是单射，证明f 是单射，并举例说明g 不一定是单射.五、(15分)设},,,{d c b a A =,A 上的关系)},(),,(),,(),,(),,(),,(),,(),,(),,{(c d b d a d c c b c a c c a b a a a R =,1.画出R 的关系图R G .2.判断R 所具有的性质.3.求出R 的关系矩阵R M .六、(10分)利用真值表求命题公式))(())((p q r r q p A →→↔→→=的主析取范式和主合取范式.七、(10分) 边数30<m 的简单平面图G ，必存在节点v 使得4)deg(≤v .八、(10分) 有六个数字，其中三个1，两个2，一个3，求能组成四位数的个数.《离散数学》期末考试题(C)一、填空题(每小题3分，共15分)1. 若n B m A ==||,||，则=⨯||B A ( )，A 到B 的2元关系共有( )个，A 上的2元关系共有( )个.2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3,1)}，则( )是单射，( )是满射，( )是双射.3. 下列5个命题公式中，是永真式的有( )(选择正确答案的番号).(1)q q p p →→∧)(；(2))(q p p ∨→；(3))(q p p ∧→；(4)q q p p →∨∧⌝)(；(5)q q p →→)(.4. 设D 24是24的所有正因数组成的集合，“|”是其上的整除关系，则3的补元( )，4的补元( )，6的补元( ).5. 设G 是(7, 15)简单平面图，则G 一定是( )图，且其每个面恰由( )条边围成，G 的面数为( ).二、单选题(每小题3分，共15分)1. 设A , B , C 是集合，则下述论断正确的是( ).(A)若A ⊆ B ， B ∈ C ，则A ∈ C . (B)若A ⊆ B ， B ∈ C ，则A ⊆ C .(C)若A ∈ B ， B ⊆ C ，则A ∈ C . (D)若A ∈ B ， B ⊆ C ，则A ⊆ C .2. 设R ⊆ A ⨯ A ，S ⊆ A ⨯ A ，则下述结论正确的是( ).(A)若R 和S 是自反的，则R ⋂ S 是自反的.(B)若R 和S 是对称的，则S R 是对称的.(C)若R 和S 是反对称的，则S R 是反对称的.(D)若R 和S 是传递的，则R ⋃ S 是传递的.3.在谓词逻辑中，下列各式中不正确的是( ).(A))()())()((x xB x xA x B x A x ∀∨∀=∨∀(B))()())()((x xB x xA x B x A x ∀∧∀=∧∀(C))()())()((x xB x xA x B x A x ∃∨∃=∨∃(D)),(),(y x xA y y x yA x ∀∃=∃∀4. 域与整环的关系为( ).(A)整环是域 (B)域是整环 (C)整环不是域 (D) 域不是整环5.设G 是(n , m )图，且G 中每个节点的度数不是k 就是k + 1，则G 中度数为k 的节点个数为( ). (A)2n . (B)n (n + 1). (C)nk . (D)m k n 2)1(-+. 三、判断题(每小题3分，共15分): 正确打“√”，错误打“×”.1.设f : Z → Z ，x x x f 2||)(-=，则f 是单射. ( )2.设ϕ是群G 1到群G 2的同态映射，若G 1是Abel 群，则G 2是Abel 群. ( )3.设),(≤L 是格，对于L z y x ∈,,，若z x y x ⋅=⋅且z x y x +=+，则z y =. ( )4.元素个数相同的有限布尔代数都是同构的. ( )5.设G 是n (n ≥ 11)阶简单图，则G 或G 是非平面图. ( )四、(15分)设A 和B 是集合，使下列各式(1)A B A =⋂； (2)A B B A -=-；(3)A A B B A =-⋃-)()(成立的充要条件是什么，并给出理由.五、(10分) 设S 是实数集合R 上的关系，其定义如下∈=y x y x S ,|),{(R 且是3y x -是整数}，证明: S 是R 上的等价关系. 六、(10分) 求谓词公式)))()(()(()(x xD y yC y B x xA ∀→∃⌝→→∃的前束范式.七、(10分) 若n 个人，每个人恰有3个朋友，则n 必为偶数，试证明之.八、(10分) 利用生成函数求解递归关系⎩⎨⎧=-+=-2)1(211a n a a n n .《离散数学》期末考试题(D)一、填空题(每小题3分，共15分)1. 设|A | = 5, |B | = 2, 则可定义A 到B 的函数( )个，其中有( )单射，( )个满射.2. 令G (x ): x 是金子，F (x ): x 是闪光的，则命题“金子都是闪光的，但闪光的未必是金子”符号化为( ).3. 设X 是非空集合，则X 的幂集P (X )关于集合的⋃运算的单位元是( )，零元是( )，P (X )关于集合的⋂运算的单位元是( ).4. 不同构的5阶无向树有( )棵.5. 对于n 阶完全无向图K n , 当n 为( )时是Euler 图，当n ≥ ( )时是Hamilton 图，当n ( )时是平面图.二、单选题(每小题3分，共15分)1. 幂集P (P (P (∅))) 为( )(A){{∅}, {∅, {∅}}}. (B){∅, {∅, {∅}}, {∅}}.(C){ ∅, {∅, {∅}}, {{∅}}, {∅}} (D){ ∅, {∅, {∅}}}.2. 设R 是集合A 上的偏序关系，则1-⋃R R 是( ).(A)偏序关系 (B)等价关系 (C)相容关系 (D)以上答案都不对3. 下列( )组命题公式是不等值的.(A))(B A →⌝与B A ⌝∧. (B) )(B A ↔⌝与)()(B A B A ∧⌝∨⌝∧.(C))(C B A ∨→与C B A →⌝∧)(. (D))(C B A ∨→与)(C B A ∨∧⌝.4.下列代数结构(G , *)中，( )是群.(A)G = {0, 1, 3, 5}, “*”是模7加法. (B) G = Q , “*”是数的乘法.(C)G = Z , “*”是数的减法. (D) G = {1, 3, 4, 5, 9}, “*”是模11乘法.5.4阶完全无向图4K 中含3条边的不同构的生成子图有(A)3 (B)4 (C)5 (D)2三、判断题(每小题3分，共15分): 正确打“√”，错误打“×”.1.函数的复合运算“ ”满足结合律. ( )2. {→⌝,}是最小功能完备联结词集合. ( )3. 实数集R 关于数的乘法运算“⋅”阿贝尔群. ( )4. 任意有限域的元素个数为2n . ( )5. 设G 是n (n 为奇数)简单图，则G 与G 中度数为奇数的节点个数相同. ( )四、(10分)设A 和B 是集合，使B B A =-成立的充要条件是什么，并给出理由.五、(10分) 设R 和S 是集合A 上的对称关系，证明S R 对称的充要条件是R S S R =.六、(15分)分别利用(1)等值演算法和(2)真值表求命题公式))(())((r q p p q r A ∨→→→∨⌝=的主析取范式和主合取范式.七、(10分) 设G 是(n , m )无向图，若n m ≥，证明G 中必存在圈.八、(10分) 在初始条件f (1) = c 下，求解递归关系bn n f n f +⎪⎭⎫ ⎝⎛=22)(，其中b ，c 为常数且kn 2=，k 为正整数.《离散数学》期末考试题(E)一、填空题(每小题3分，共15分)1.设A = {2, {3}, 4, a }, B = {1, 3, 4, {a }}, 则{3}( )A ，{a }( )B ，{{a }}( )B .2. 设A = {1, 2, 3, 4, 5}上的关系R = {(1, 2), (3, 4), (2, 2)}, S = {(4, 2), (2, 5), (3, 1), (1, 3)}, 则=S R { }, =R S { }, =R R { }.3. gcd(36, 48) = ( )，lcm(36, 48) = ( ).4.任意有限布尔代数)1,0,,,,(⋅+B 均与集合代数( )同构，其元素个数为( ).5. 不同构的5阶无向树有( )棵，不同构的5阶根树有( )棵.二、单选题(每小题3分，共15分)1. 在有理数集合Q 上定义运算“*”如下：对于任意x , y ∈ Q ，y x * = x + y – xy ，则Q 关于*的单位元是( ).(A)x . (B)y . (C)1. (D)0.2. 设A = {1, 2, 3}, 下图分别给出了A 上的两个关系R 和S ，则S R 是( )关系.(A)自反. (B)对称. (C)传递. (D)等价.3.令T (x ): x 是火车，B (x ): x 是汽车，F (x , y ): x 比y 快，则“某些汽车比所有的火车慢”符号化为( ).(A)()()),()()(y x H x T x y B y →∀∧∃.(B)()()),()()(y x H x T x y B y ∧∀→∃.(C)()()),()()(y x H x T y B y x ∧→∃∀.(D)()()),()()(y x H x T x y B y →∀→∃.4. 整数集合Z 关于数的加法“+”和数的乘法“⋅”构成的代数结构(Z, +, ⋅)是( ). 1 1 22 3 3G S G R(A)域(B)域和整环(C)整环(D) 有零因子环G≅，则称G为自补图. 5阶不同构的自补图5.设G是简单图，G是G的补图，若G个数为( ).(A)0. (B)1. (C)2. (D)3.三、判断题(每小题3分，共15分): 正确打“√”，错误打“×”.1. { ∅, {∅}} ∉P(P({∅})). ( )2. 非空1元及2元联结词集合的个数为29-1. ( )3. 群可分为Abel群和非Abel群. ( )4. 元素个数相同的有限域都是同构的. ( )5. 设G是简单图，则G或G是连通图. ( )四、(15分)设C,:, 若gf 是单射，证明f是单射，并举例说明g→:f→gBBA不一定是单射.五、(10分)设A = {a, b, c, d}上的关系R = {(a, b), (b, d), (c, c), (a, c)}, 画出R的关系图，并求出R的自反闭包r(R)、对称闭包s(R)和传递闭包t(R).六、(10分)用CP规则证明下列推理.⌝∨→∨(.⇒),(⌝),→pqssrqrqp→七、(10分)求谓词公式))xyByAxA∀→∨∀∧⌝∃的前束范式.zC((x()))(z(()八、(10分)任意6个人中，一定有3个人彼此认识或有3个人彼此不认识.《离散数学》期末考试题(F)一、填空题(每小题3分，共15分)1. 设A = {1, 2, 3, {1, 2}, {3}}, B = {2, {2,3}, {1}} , 则A–B = { }, B–A = { }, A⊕B = { }.2. 实数集合R关于加法运算“+”的单位元为( ), 关于乘法运算“⋅”的单位元为( ), 关于乘法运算“⋅”的零元为( ).3. 令Z(x): x是整数，O(x): x是奇数，则“不是所有整数都是奇数”符号化为( ).4. 有限域的元素个数为( ), 其中( )且( ).5. 设G 是(7, 15)简单平面图，则G 一定 ( )连通图，其每个面恰由( )条边围成，G 的面数为( ).二、单选题(每小题3分，共15分)1. 函数的复合运算“ ”满足( )(A)交换律. (B)结合律. (C)幂等律. (D)消去律.2. 设集合A 中有4个元素，则A 上的等价关系共有( )个.(A)13 (B)14 (C)15 (D)163.下列代数结构(G , *)中，( )是群.(A)G = {0, 1, 3, 5}, “*”是模7加法. (B) G = Q , “*”是数的乘法.(C)G = Z , “*”是数的减法. (D) G = {1, 3, 4, 5, 9}, “*”是模11乘法.4. 下列偏序集，( )是格.5. 不同构的(5, 3)简单无向图有( )个.(A)4 (B)5 (C)3 (D)2三、判断题(每小题3分，共15分): 正确打“√”，错误打“×”.1. 设A ，B ，C 是集合，若C A B A ⊕=⊕, 则B = C . ( )2. 逻辑联结词“→”满足结合律. ( )3. 设 (L , ≤)是偏序集，若L 的任意非空子集均存在上确界和下确界，则(L , ≤)是格.( )4. 在同构意义下，有限布尔代数只有,,,),((⋂⋃X P ∅, X ). ( )5. 设G 是简单图，则G 与G 中度数为奇数的节点个数相同. ( )四、(15分) 设C B g B A f →→:,:, 若g f 是满射，证明g 是满射，并举例说明f 不一定是满射.五、(10分) 在整数集合Z 上定义关系R 如下：对于任意∈y x , Z ，y y x x R y x +=+⇔∈22),(.判断R 是否具有自反性、反自反性、对称性、反对称性及传递性.六、(10分)利用真值表求命题公式)())(q p q p A ⌝→↔→⌝=的主析取范式和主合取范式.七、(10分)证明：在至少两个人的人群中，必有两个人有相同个数的朋友.八、(10分)将6阶完全无向图K 6的边随意地涂上红色或蓝色，证明：无论如何涂法，总存在红色的K 3或蓝色的K 3.(ps ：答案见离散数学期末复习题（6套）答案文档)。

离散数学期末考试题及答案

离散数学期末考试题及答案1.选择题（每题3分，共30分）1. 下列命题中，属于复合命题的是：A. 3是一个奇数，且2是一个偶数B. 如果2是一个素数，那么4也是一个素数C. 不是所有奇数都是素数D. 存在一个整数x，使得x>5且x是一个偶数答案：D2. 已知命题p：草地是绿的，命题q：天空是蓝的。

下列表述可以表示p ∧ ¬q 的是：A. 草地是绿的，天空是蓝的B. 草地不是绿的，天空是蓝的C. 草地是绿的，天空不是蓝的D. 草地不是绿的，天空不是蓝的答案：B3. 设命题p表示“这个数是偶数”，q表示“这个数大于10”。

那么“这个数既是偶数又大于10”可以表示为：A. p ∧ qB. p ∨ qC. ¬p ∧ qD. ¬p ∨ q答案：A4. 下列以下列集合的方式描述，其中哪个是空集∅：A. {x | 0 ≤ x ≤ 1}B. {x | x是一个自然数，x > 10}C. {x | x是一个正偶数，x < 2}D. {x | x是一个负整数，x < -1}答案：C5. 设A = {a, b, c}，B = {c, d, e}，C = {a, c, e}。

则(A ∪ B) ∩ C等于：A. {a, b, c, d, e}B. {a, c, e}C. {c}D. 空集∅答案：B6. 假设U是全集，A、B、C是U的子集。

则(A ∪ B) ∩ C 的补集是：A. A ∩ B ∩ C的补集B. (A ∪ B) ∩ C的补集C. A ∪ (B ∩ C)的补集D. (A ∩ C) ∩ (B ∩ C)的补集答案：D7. 若关系R为集合A到集合B的一种映射，且|A| = 7，|B| = 4，则R包含的有序对数目为：A. 4B. 7C. 11D. 28答案：D8. 设A={1,2,3}，B={4,5,6}，则从A到B的映射总数为：A. 3B. 9C. 6D. 18答案：C9. 设A={a,b,c,d,e}，则集合A的幂集的元素个数是：A. 2B. 5C. 10D. 32答案：D10. 若f：A→B为满射且g：B→C为单射，则(g ∘ f)：A→C为：A. 双射B. 满射C. 单射D. 非单射且非满射答案：A2.简答题（每题10分，共20分）1. 请简要解释什么是关系R的自反性、对称性和传递性。

离散数学期末考试复习题及参考答案

A. B. C. D.
参考答案： B
6、设 A. 代数系统 B. 半群 C. 群
,*为普通乘法,则<S,*>是( )
D. 都不是
参考答案： A
7、设S={0,1},*为普通乘法,则< S , * >是( ) A. 半群,但不是独异点 B. 只是独异点,但不是群 C. 群 D. 环,但不是群
参考答案： B
A. B. C. D.
参考答案： B
3、命题“有的人喜欢所有的花”的逻辑符号化为( ) 设D:全总个体域,F(x):x是花,M(x) :x是人,H(x,y):x喜欢y
A. B. C. D.
参考答案： D
4、下列等价式成立的有( )
A. B. C. D.
参考答案： D
5、下列公式是重言式的有( )
5、 ( )设S={1,2},则S在普通加法和乘法运算下都不封闭。参考答案：正确
8、谓词公式
中的x是( )
A. 自由变元
B. 约束变元
C. 既是自由变元又是约束变元
D. 既不是自由变元又不是约束变元
参考答案： C
9、设
是一个有界格,如果它也是有补格,只要满足( )
A. 每个元素都至少有一个补元
B. 每个元素都有多个补元
C. 每个元素都无补元
D. 每个元素都有一个补元
参考答案： A
10、一棵无向树T有4度、3度、2度的分枝点各1个,其余顶点均为树叶,则T中有( )片树叶
A. 3 B. 4 C. 5 D. 6
参考答案： C
11、设
A. {{1,2}} B. {1,2 } C. {1} D. {2}
参考答案： A
,则有( )

华南师范大学离散数学数理逻辑-复习题

p ∧ r ∧ ¬(q → p)
⇔ p ∧ r ∧ ¬(¬q ∨ p)
蕴含等值式
永假式！
⇔ p ∧ r ∧ (q ∧ ¬p) ⇔ ( p ∧ ¬p) ∧ r ∧ q ⇔0
德摩根定律结合律否定律（矛盾律）
数理逻辑——复习题
解2：真值表法 p∧r∧¬(q→p)
永假式！
p
qr
q → p ¬(q → p)
= m1 ∨ m2 ∨ m7 A的成假赋值:000，011，100，101，110 (与其成真赋值互补) ﹁A的极小项：000：﹁p∧﹁q∧﹁r， 011：﹁ p∧q∧r，
100：p∧﹁q∧﹁r， 101：p∧﹁q∧r， 110：p∧q∧﹁r
数理逻辑——复习题
﹁ A的主析取范式：（其所有极小项之和）
数理逻辑——复习题
例4 (1)已知命题公式A中含3个命题变项p, q, r,并知道它的成真赋值为001, 010, 111, 求A的主析取范式和主合取范式。解：成真赋值对应于极小项： 001：﹁p∧﹁q∧r, 010：﹁ p∧q∧﹁r, 111：p ∧ q ∧ r 由所有的极小项之和可写出A的主析取范式： A=(﹁p∧﹁q∧r)∨(﹁ p∧q∧﹁r)∨(p ∧ q ∧ r)
谓词逻辑的推理规则
推理规则
∀xP ( x) ∴ P(c), 若c ∈U (U为个体域 )
P(c), 对任意 c ∈ U (U为个体域 ) ∴ ∀xP ( x)
∃xP ( x) ∴ P(c), 对某个特定元素 c ∈U (U为个体域 )
P(c), 对某个元素 c ∈ U ,U为个体域 ∴ ∃xP ( x)
② ¬H(c)
①存在量词消去
③ ∀x(G(x)∨H(x)) 前提引入

离散数学期末考试题及答案

离散数学期末考试题及答案一、选择题（每题2分，共20分）1. 在集合论中，空集表示为：A. {0}B. {1}C. {}D. Ø答案：D2. 命题逻辑中，下列哪个是合取命题的真值表？A. P | Q | P ∧ QB. P | Q | P ∨ QC. P ∧ Q | P ∨ QD. P ∧ Q | ¬(P ∨ Q)答案：A3. 函数f: A → B是单射的，那么f的逆函数：A. 一定存在B. 一定不存在C. 可能存在D. 以上都不对答案：C4. 关系R是自反的，那么对于所有a∈A，以下哪个命题一定为真？A. (a, a) ∈ RB. (a, a) ∉ RC. (a, a) ∈ R或(a, a) ∉ RD. (a, a) ∈ R且(a, a) ∉ R答案：A5. 在图论中，下列哪个不是图的基本术语？A. 顶点B. 边C. 子集D. 路径答案：C6. 命题p: “如果x是偶数，则x能被4整除”的否定是：A. 如果x是偶数，则x不能被4整除B. 如果x不是偶数，则x不能被4整除C. 如果x不是偶数，则x能被4整除D. 如果x是偶数，则x不能被4整除或x不是偶数答案：A7. 有向图G中，如果存在从顶点u到顶点v的有向路径，则称v是u 的：A. 祖先B. 后代C. 邻居D. 连接点答案：B8. 在命题逻辑中，下列哪个命题是永真命题？A. (P ∧ ¬P) ∨ (P ∨ ¬P)B. (P ∧ ¬P) ∧ (P ∨ ¬P)C. (P ∨ ¬P) ∧ (¬P ∨ P)D. (P ∧ ¬P) ∧ (¬P ∧ P)答案：C9. 以下哪个选项是等价命题？A. P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)B. P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)C. P ∨ ¬P ≡ ¬P ∧ PD. P ∧ ¬P ≡ ¬P ∨ P答案：A10. 树是无环连通图，以下哪个是树的属性？A. 至少有一个环B. 至少有两个顶点C. 至少有一个顶点D. 至少有一个边答案：B二、填空题（每空2分，共20分）11. 集合{1, 2, 3}的幂集含有__个元素。

《离散数学》复习题及答案

页眉内容《离散数学》试题及答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答：（1），（4）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答：（2），（3），（4），（5），（6）4、公式∀x((A(x)→B(y，x))∧∃z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。

答：x,y, x,z5、判断下列语句是不是命题。

若是，给出命题的真值。

( )(1)北京是中华人民共和国的首都。

(2) 陕西师大是一座工厂。

(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。

答：所有人都不是大学生，有些人不会死7、设P：我生病，Q：我去学校，则下列命题可符号化为( )。

(1) 只有在生病时，我才不去学校 (2) 若我生病，则我不去学校(3) 当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校答：（1）PP⌝P→⌝↔（4）QQ→⌝（2）QP⌝→（3）Q8、设个体域为整数集，则下列公式的意义是( )。

(1) ∀x∃y(x+y=0) (2) ∃y∀x(x+y=0)答：（1）对任一整数x存在整数 y满足x+y=0（2）存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合，确定下列命题的真值：(1) ∀x∃y (xy=y) ( ) (2) ∃x∀y(x+y=y) ( )(3) ∃x∀y(x+y=x) ( ) (4) ∀x∃y(y=2x) ( )答：（1） F （2） F （3）F （4）T10、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答：（1）11、命题“2是偶数或-3是负数”的否定是（）。

数理逻辑复习题

离散数学期末复习题2012-6-161.“太阳系以外的星球上有生命。

”是命题。

（ T ）2．ρ（A⋃B）=ρ（A）⋃ρ（B）（ F ）ρ（A∩B）=ρ（A）∩ρ（B）（ T ）3．一个命题的合取范式不是唯一的。

（ T ）4．等价式⌝（∃x）A（x）⇔（∀x）⌝A（x）成立。

( T )5．（∀x）（P（x）∨Q（x））∧ R（x）是命题。

（ F ）8．对于一个谓词公式，指定不同的个体域，则其真值不一定相同.T9. 若命题公式A的主析取范式包含全部的极小项，则A为永真式T10．命题“他在教室看书或在宿舍看书。

”可以符号化为P∨ S。

F11．当个体域S=｛a,b,c｝消去公式(∀x) P(x)∨(∃x)Q(x)中量词为(P(a)∨Q(a)) ∧ (P(b)) ∨Q(b)) ∧ (P(c)∨Q(c)) F12. 设P、Q是两个命题，当且仅当P、Q的真值均相同时，P↔Q的值为T. T13. 命题公式(P∧(P→ Q)) → Q是永真式. T14．命题联结词集｛∨、∧｝是极小功能完备的联结词集. F15．(A ≠Φ) ∧ (B ≠Φ) ⇒ (A ⋂ B ≠Φ ) F16. （P ↔ Q）→┐（ P ∨Q）是矛盾式。

F17. ∃xA(x) ∨∃x B(x) ⇒∃x ( A(x) ∨ B(x)) T19. 若关系R不具有对称性则R一定具有反对称性 F22. 设A、B、C是任意集合，且C-B = C-A，则A=B 。

F23. 设A、B和C为任意集合，且A∪B=A∪C，则B=C. F24．若R和S是X上具有对称性的关系，则R º S也具有对称性。

F25．若R和S是X上的具有对称性的关系，则R ∩S具有对称性。

T26．∃xA(x)∨∃x B(x)⇒∃x ( A(x) ∨ B(x)) （F ）27．（P ↔ Q）→┐（ P ∨Q）是可满足式。

（ F）28．｛｝=｛φ｝（ F ）二、填空题1．已知B={ {a，b}，c}，则B的幂集ρ（B）= { B ,Φ,{{a，b}}，{c} }2．已知A={1，2，3，4，5，6，7}，B={2，4，6，8，10}，则A-B= {1,3,5,7,} ,A + B= {1,3,5,7, 8,10} 。

离散期末考试题及答案

离散期末考试题及答案离散数学期末考试题及答案一、选择题（每题2分，共20分）1. 在集合论中，以下哪个符号表示属于关系？A. ∈B. ∉C. ⊆D. ⊂答案：A2. 有限集合A和B的并集，其元素个数最多是A和B元素个数之和，这个性质称为：A. 德摩根定律B. 幂集C. 并集原理D. 子集原理答案：C3. 命题逻辑中，以下哪个命题是真命题？A. (p ∧ ¬p) ∨ qB. (p ∨ ¬p) ∧ qC. (p ∨ q) ∧ ¬pD. (p ∧ q) ∨ ¬p答案：B4. 在图论中，一个无向图的边数至少是顶点数的多少倍才能保证图中至少存在一个环？A. 1B. 2C. 3D. 4答案：B5. 以下哪个算法用于生成一个集合的所有子集？A. 欧拉回路B. 哈密顿回路C. 深度优先搜索D. 子集生成算法答案：D6. 在关系数据库中，以下哪个操作用于删除表中的行？A. SELECTB. INSERTC. UPDATED. DELETE答案：D7. 以下哪个是有限自动机的状态？A. 初始状态B. 终止状态C. 转移状态D. 所有选项答案：D8. 以下哪个是图论中的一个基本定理？A. 欧拉定理B. 哈密顿定理C. 狄拉克定理D. 所有选项答案：D9. 在命题逻辑中，以下哪个是德摩根定律的逆命题？A. ¬(p ∨ q) ≡ ¬p ∧ ¬qB. ¬(p ∧ q) ≡ ¬p ∨ ¬qC. ¬(p ∨ q) ≡ ¬p ∨ ¬qD. ¬(p ∧ q) ≡ ¬p ∧ ¬q答案：B10. 在集合论中，以下哪个操作表示集合的差集？A. ∩B. ∪C. -D. ×答案：C二、填空题（每空3分，共30分）11. 集合{1, 2, 3}的幂集包含________个元素。

离散数学数理逻辑期末练习题

数理逻辑1、下列解释中只有_______使公式(p q)r ↔→成假。

(A ) (p ,q ,r )＝(0,0,0) (B ) (p ,q ,r )＝(1,0,1) (C ) (p ,q ,r )＝(0,1,0)(D ) (p ,q ,r )＝(0,0,1)2、下列解释中只有_______使公式p q r ↔∨成真。

(A) (p ,q ,r )＝(0,0,0) (B) (p ,q ,r )＝(0,1,0) (C) (p ,q ,r )＝(1,0,0)(D) (p ,q ,r )＝(0,1,1)3、下列解释中只有_______使公式r q p ∨→成假。

(A ) (p ,q ,r )＝(1,0,0) (B ) (p ,q ,r )＝(0,1,0) (C ) (p ,q ,r )＝(1,1,0)(D ) p ,q ,r )＝(0,0,0)4、下列公式是重言式的是（）。

()()A. P Q P Q ⌝∧→∨ ()P P Q →∧B.()P Q Q ⌝→∧C.()P P Q →∨D.5、下列公式是重言式的是（）。

()()A. P Q P Q ⌝∧→∨()()()()P Q P Q Q P ↔↔→∧→B. ()P Q Q ⌝→∧C.()P P Q ⌝→∨D.6、下列解释中只有_______使公式r q p ∧→成假。

(A) (p ,q ,r )＝(0,0,0) (B) (p ,q ,r )＝(0,1,0) (C) (p ,q ,r )＝(1,1,0)(D) (p ,q ,r )＝(1,1,1)7、下列解释中只有_______使公式r q p →∨成假。

(A ) (p ,q ,r )＝(0,0,0)(B ) (p ,q ,r )＝(0,1,1) (C ) (p ,q ,r )＝(1,0,0)(D ) (p ,q ,r )＝(1,1,1)8、下列解释中只有_______使公式r q p →→)(成真。

(完整word版)离散数学数理逻辑部分期末复习辅导

离散数学数理逻辑部分期末复习辅导一、单项选择题1．设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间”符号化为( )．A．P∨P⌝⌝P↔D．Q Q→B．QP→C．Q2．设命题公式G：)→⌝，则使公式G取真值为1的P∧(RQP，Q，R赋值分别是( )．A．0, 0, 0 B．0, 0, 1 C．0, 1, 0 D．1, 0, 0 3．命题公式(P∨Q)→R的析取范式是( )．A．⌝(P∨Q)∨R B．(P∧Q)∨RC．(P∨Q)∨R D．(⌝P∧⌝Q)∨R4．命题公式(P∨Q) 的合取范式是( )．A．P∧Q B．(P∧Q)∨(P∨Q)C．P∨Q D．⌝(⌝P∧⌝Q)5．命题公式)⌝的析取范式是( )．P→(QA．Q⌝D．Q∨P∨P⌝P∧P⌝∧B Q⌝C．Q6．下列等价公式成立的为( )．A．⌝P∧⌝Q⇔P∨QB．P→(⌝Q→P) ⇔⌝P→(P→Q)C．Q→(P∨Q) ⇔⌝Q∧(P∨Q)D．⌝P∨(P∧Q) ⇔Q7．下列公式成立的为( )．A．⌝P∧⌝Q ⇔P∨Q B．P→⌝Q⇔⌝P→Q C．Q→P⇒ P D．⌝P∧(P∨Q)⇒Q C．(Q→P)→P⇔⌝(⌝Q∨P)∨P⇔(Q∧⌝P)∨P⇔(Q∨P)∧(⌝P∨P) ⇔(Q∨P)∧1⇔P∨Q（不是永真式）D．⌝P∧(P∨Q)⇒Q（析取三段论）或者直接推导：⌝P∧(P∨Q)→Q⇔⌝(⌝P∧(P∨Q))∨Q⇔(P∨(⌝P∧⌝Q))∨Q⇔((P∨⌝P)∧(P∨⌝Q))∨Q⇔(P∨⌝Q)∨Q⇔P∨(⌝Q∨Q)⇔P∨1⇔1所以⌝P∧(P∨Q)⇒Q8．下列公式中( )为永真式．A．⌝A∧⌝B↔⌝A∨⌝B B．⌝A∧⌝B↔⌝(A∨B) C．⌝A∧⌝B↔A∨B D．⌝A∧⌝B ↔⌝(A∧B)9．下列公式( )为重言式．A．⌝P∧⌝Q↔P∨QB．(Q→(P∨Q))↔(⌝Q∧(P∨Q))C．(P→(⌝Q→P))↔(⌝P→(P→Q))D．(⌝P∨(P∧Q))↔Q解 A ．P Q P Q ⌝∧⌝⇔∨/，1P Q P Q ⌝∧⌝↔∨⇔/B ．(())1Q P Q Q P Q →∨⇔⌝∨∨⇔(())()()()1Q P Q Q P Q Q P Q ⌝∧∨⇔⌝∧∨⌝∧⇔∧⌝⇔/(())(())1Q P Q Q P Q →∨↔⌝∧∨⇔/C ．()()P Q P P Q P →⌝→⇔⌝∨∨()()P P Q P P Q ⇔∨⌝∨⇔⌝→→所以，(P →(⌝Q →P ))↔(⌝P →(P →Q ))⇔1D ．()()()P P Q P P P Q P Q Q ⌝∨∧⇔⌝∨∧⌝∨⇔⌝∨⇔/(())1P P Q Q ⌝∨∧↔⇔/10．设A (x )：x 是人，B (x )：x 是学生，则命题“不是所有人都是学生”可符号化为（）．A ．(∀x )(A (x )∧B (x )) B ．⌝(∃x )(A (x )∧B (x ))C ．⌝(∀x )(A (x )→B (x ))D ．⌝(∃x )(A (x )∧⌝B (x ))11．设A (x )：x 是人，B (x )：x 是工人，则命题“有人是工人”可符号化为（）．A ．(∃x )(A (x )∧B (x )) B ．(∀x )(A (x )∧B (x ))C ．⌝(∀x )(A (x )→B (x ))D ．⌝(∃x )(A (x )∧⌝B (x ))12．设C (x )：x 是国家级运动员，G (x )：x 是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( )．A ．))()((x G x C x ⌝∧⌝∀B ．))()((x G xC x ⌝→⌝∀C ．))()((x G x C x ⌝→⌝∃D ．))()((x G x C x ⌝∧⌝∃13．表达式))QyzyRP→∨∀中x∧∃xx∀x())(,)()(zzQ(,(y∀的辖域是( )．A．P(x, y) B．P(x, y)∨Q(z)C．R(x, y) D．P(x, y)∧R(x, y)14．在谓词公式(∀x)(A(x)→B(x)∨C(x，y))中，（）．A．x，y都是约束变元B．x，y都是自由变元C．x是约束变元，y是自由变元D．x是自由变元，y是约束变元15．设个体域D={a, b, c}，那么谓词公式)xA∀x∃消去∨(y()yB量词后的等值式为．A．(A(a)∨A(b)∨A(c))∨(B(a)∧B(b)∧B(c))B．(A(a)∧A(b)∧A(c))∨(B(a)∨B(b)∨B(c))C．(A(a)∨A(b)∨A(c))∨(B(a)∨B(b)∨B(c))D．(A(a)∧A(b)∧A(c))∨(B(a)∧B(b)∧B(c))16．命题公式QP→的主合取范式是( )．A．)∧∨⌝⌝∧⌝P∧∨B．Q∨P()P⌝)((QQQPC．Q∨P⌝P∨⌝D．Q 17．下列等价公式成立的为( )．A．⌝P∧P⇔⌝Q∧Q B．⌝Q→P⇔P→QC．P∧Q⇔P∨Q D．⌝P∨P⇔Q18．命题公式Q∨)(为( )．QP→A．矛盾式B．可满足式C．重言式D．合取范式19．谓词公式∃xA(x)∧⌝∃xA(x)是（）．A．不可满足的B．可满足的C．有效的D．蕴含式二、填空题1．命题公式()→∨的真值是．P Q P解()1P Q P P Q P→∨⇔⌝∨∨⇔2．设P：他生病了，Q：他出差了，R：我同意他不参加学习．则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为．答()∨→P Q R3．含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式是．解()∧⇔∧∧∨⌝P Q P Q R RP Q R P Q R⇔∧∧∨∧∧⌝()()答()()∧∧∨∧∧⌝P Q R P Q R4．设P(x)：x是人，Q(x)：x去上课，则命题“有人去上课．”为．答(()())∃∧x P x Q x5．设个体域D＝{a, b},那么谓词公式)xA∀∨x∃消去量()(yyB词后的等值式为．答(()())(()())∨∨∧A a A bB a B b6．设个体域D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式(∃x)A(x) 的真值为．解(∃x)A(x)⇔A(1)∨A(2)∨A(3)⇔1∨1∨0⇔17．谓词命题公式(∀x)((A(x)∧B(x))∨C(y))中的自由变元为．答y8．谓词命题公式(∀x)(P(x)→Q(x)∨R(x，y))中的约束变元为．答x三、公式翻译题1．请将语句“今天是天晴”翻译成命题公式．解设P：今天是天晴．则命题公式为：P．2．请将语句“小王去旅游，小李也去旅游．”翻译成命题公式．解设P：小王去旅游，Q：小李去旅游．则命题公式为：P∧Q．．3．请将语句“如果明天天下雪，那么我就去滑雪”翻译成命题公式．解设P：明天天下雪，Q：我去滑雪．则命题公式为：P Q→．4．请将语句“他去旅游，仅当他有时间”翻译成命题公式．解设P：他去旅游，Q：他有时间．则语句表示为P Q→．5．请将语句“有人不去工作”翻译成谓词公式．解设P(x)：x是人，Q(x)：x去工作．则语句表示为∃∧⌝．x P x Q x(()())6．请将语句“所有人都努力工作．”翻译成谓词公式．解设P(x)：x是人，Q(x)：x努力工作．则语句表示为∀→．x P x Q x(()())四、判断说明题（判断下列各题，并说明理由．）1．命题公式P P⌝∧的真值是1．2．命题公式⌝P∧(P→⌝Q)∨P为永真式．3．谓词公式))xP∀xx→∀是永真式．y→∃yG(,)()((xxP解正确．xyGxxP∀→y→∃∀()))xP,((x)(⇔⌝∀∨⌝∃∨∀()((,)())xP x yG x y xP xxP x xP x yG x y⇔⌝∀∨∀∨⌝∃(()())(,)⇔∨⌝∃⇔1(,)1yG x y五、计算题1．求P→Q∨R的析取范式、合取范式、主析取范式、主合取范式．解P→Q∨R⇔⌝P∨Q∨R（析取范式、合取范式、主合取范式）⇔(⌝P∧(Q∨⌝Q)∧(R∨⌝R))∨((P∨⌝P)∧Q∧(R∨⌝R))∨((P∨⌝P)∧(Q∨⌝Q)∧R) （补齐命题变项）⇔(⌝P∧Q∧R)∨(⌝P∧Q∧⌝R)∨(⌝P∧⌝Q∧R)∨(⌝P∧⌝Q∧⌝R)∨(P∧Q∧R)∨(P∧Q∧⌝R)∨(⌝P∧Q∧R)∨(⌝P∧Q∧⌝R)∨(P∧Q∧R)∨(P∧⌝Q∧R)∨(⌝P∧Q∧R)∨(⌝P∧⌝Q∧R)（∧对∨的分配律）⇔(⌝P∧⌝Q∧⌝R)∨(⌝P∧⌝Q∧R)∨(⌝P∧Q∧⌝R)∨(⌝P∧Q∧R)∨(P∧⌝Q∧R)∨(P∧Q∧⌝R)∨(P∧Q∧R) （主析取范式）解二（利用主析取范式与主合取范式的关系）P→Q∨R⇔⌝P∨Q∨R（析取范式、合取范式、主合取范式）⇔M100⇔m000∨m001∨m010∨m011∨m101∨m110∨m111⇔(⌝P∧⌝Q∧⌝R)∨(⌝P∧⌝Q∧R)∨(⌝P∧Q∧⌝R)∨(⌝P∧Q∧R)∨(P∧⌝Q∧R)∨(P∧Q∧⌝R)∨(P∧Q∧R) （主析取范式）2．求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式．解()()∨→∨P Q R Q⇔⌝∨∨∨()()P Q R Q()⇔⌝∧⌝∨∨（析取范式）P Q Q R⇔⌝∨∨∧⌝∨∨（∨对∧的分配律）()()P Q R Q Q R⇔⌝∨∨∧⌝∨∨()(())P Q R Q Q R⇔⌝∨∨∧P Q R()1⇔⌝∨∨（主合取范式）（同上题）P Q R⇔(⌝P∧⌝Q∧⌝R)∨(⌝P∧⌝Q∧R)∨(⌝P∧Q∧⌝R)∨(⌝P∧Q∧R)∨(P∧⌝Q∧R)∨(P∧Q∧⌝R)∨(P∧Q∧R)（主析取范式）（根据上题）解二（利用命题公式的真值表）列出命题公式(P∨Q)→(R∨Q)的真值表如下：表中所有小项的析取就是公式的主析取范式，所有大项的合取就是公式的主合取范式，故所求公式的主析取范式为：(⌝P∧⌝Q∧⌝R)∨(⌝P∧⌝Q∧R)∨(⌝P∧Q∧⌝R)∨(⌝P∧Q∧R)∨(P∧⌝Q∧R)∨(P∧Q∧⌝R)∨(P∧Q∧R)，主合取范式为：⌝P∨Q∨R．注：如果题目只是求“析取范式”或“合取范式”，大家就不必再进一步求“主析取范式”或“主合取范式”．例如：求(P∨Q)→R [或(P∨Q)→(R∨Q)，P→Q∧R]的合取范式、析取范式．解()∨→P Q R⇔⌝∨∨P Q R()⇔⌝∧⌝∨（析取范式）P Q R()P R Q R⇔⌝∨∧⌝∨（合取范式）()()∨→∨P Q R Q()()P Q R Q⇔⌝∨∨∨()()P Q Q R⇔⌝∧⌝∨∨（析取范式）()⇔⌝∨∨∧⌝∨∨()()P Q R Q Q R⇔⌝∨∨（合取范式）P Q R→∧P Q R⇔⌝∨∧（析取范式）()P Q R⇔⌝∨∧⌝∨（合取范式）()()P Q P R3．设谓词公式((,)(,,))(,)∃→∀∧∀．x P x y zQ y x z yR y z （1）试写出量词的辖域；（2）指出该公式的自由变元和约束变元．解（1）量词x∃的辖域为(,)(,,)→∀，P x y zQ y x zQ y x z，z∀的辖域为(,,)R y z．y∀的辖域为(,)（2）自由变元为(,)(,,)R y z中的z．P x y zQ y x z→∀中的y，(,)约束变元为(,)(,,)P x y zQ y x z →∀中的x ，(,,)Q y x z 中的z ，(,)R y z 中的y ．4．设个体域为D ={a 1, a 2}，求谓词公式∀y ∃xP (x ,y )消去量词后的等值式．解 12(,)(,)(,)y xP x y xP x a xP x a ∀∃⇔∃∧∃11211222((,)(,))((,)(,))P a a P a a P a a P a a ⇔∨∧∨六、证明题1．试证明 (P →(Q ∨⌝R ))∧⌝P ∧Q 与⌝(P ∨⌝Q )等价．证明 (())P Q R P Q →∨⌝∧⌝∧(())P Q R P Q ⇔⌝∨∨⌝∧⌝∧ （蕴含等价） ((()))P Q R P Q ⇔⌝∨∨⌝∧⌝∧ （结合律） P Q ⇔⌝∧ （吸收律） ()P Q ⇔⌝∨⌝ （德·摩根律）。

离散数学期末考试题及答案

离散数学期末考试题及答案一、选择题（每题2分，共20分）1. 在集合论中，以下哪个选项不是集合的基本运算？A. 并集B. 交集C. 差集D. 乘法答案：D2. 命题逻辑中，以下哪个命题不是基本的逻辑连接词？A. 与（∧）B. 或（∨）C. 非（¬）D. 等于（=）答案：D3. 在图论中，一个图的度数之和等于边数的几倍？A. 1B. 2C. 3D. 4答案：B4. 以下哪个是布尔代数的基本定理？A. 德摩根定律B. 布尔代数的分配律C. 布尔代数的结合律D. 所有选项都是答案：D5. 以下哪个不是组合数学中的计数原理？A. 加法原理B. 乘法原理C. 排列D. 组合答案：C6. 在关系数据库中，以下哪个操作不是基本的数据库操作？A. 选择B. 投影C. 连接D. 排序答案：D7. 以下哪个是有限自动机的组成部分？A. 状态B. 转移C. 输入符号D. 所有选项都是答案：D8. 以下哪个命题逻辑表达式是真命题？A. (p ∧ ¬p) ∨ qB. (p ∨ ¬p) ∧ qC. (p → q) ∧ (q → p)D. (p → q) ∧ (¬p → ¬q)答案：D9. 以下哪个是归纳法证明的基本步骤？A. 基础步骤B. 归纳步骤C. 反证法D. 所有选项都是答案：B10. 以下哪个是图的遍历算法？A. 深度优先搜索（DFS）B. 广度优先搜索（BFS）C. Dijkstra算法D. 所有选项都是答案：A二、简答题（每题10分，共30分）1. 简述命题逻辑中的德摩根定律。

答案：德摩根定律是命题逻辑中描述否定命题的两个重要定律。

它们分别是：- ¬(p ∧ q) ≡ ¬p ∨ ¬q- ¬(p ∨ q) ≡ ¬p ∧ ¬q2. 解释什么是图的连通分量，并给出一个例子。

答案：图的连通分量是指图中最大的连通子图。

离散数学期末复习题

离散数学期末复习题第一章集合论一、判断题（1）空集是任何集合的真子集．（错）（2）{}φ是空集．（错）（3）{}{}a a a },{∈ （对）（4）设集合{}{}{}{}AA 22,1,2,1,2,1⊆=则. ( 对）（5）如果B A a ⋃∉，则A a ∉或B a ∉．（错）解 B A a ⋃∉则B A B A a ⋂=⋃∈，即A a ∈且B a ∈，所以A a ∉且B a ∉（6）如果A ∪.,B A B B ⊆=则（对）（7）设集合},,{321a a a A =，},,{321b b b B =，则},,,,,{332211><><><=⨯b a b a b a B A （错）（8）设集合}1,0{=A ，则}1},0{,0},0{,1,,0,{><><><><=φφρ是A2到A 的关系．（对）解 A 2}},1{},0{,{A φ=， =⨯A A 2}1,,0,,1},1{,0},1{,1},0{,0},0{,1,,0,{><><><><><><><><A A φφ（9）关系的复合运算满足交换律．（错）（10）.条件具有传递性的充分必要上的关系是集合ρρρρA = （错）（11）设.~,上的传递关系也是则上的传递关系是集合A A ρρ ( 对 ) （12）集合A 上的对称关系必不是反对称的. （错）（13）设21,ρρ为集合A 上的等价关系, 则21ρρ⋂也是集合A 上的等价关系( 对 )（14）设ρ是集合A 上的等价关系, 则当ρ>∈<b a ,时， ρρ][][b a = ( 对 )（15）设21,ρρ为集合 A 上的等价关系, 则 ( 错 )二、单项选择题（1）设R 为实数集合，下列集合中哪一个不是空集（ A ）A. {}R x x x ∈=-且,01|2 B ．{}R x x x ∈=+且,09|2C. {}R x x x x ∈+=且,1|D. {}R x x x ∈-=且,1|2（2）设B A ,为集合，若φ=B A \，则一定有（ C ）A. φ=B B ．φ≠B C. B A ⊆ D. B A ⊇（3）下列各式中不正确的是（ C ）A. φφ⊆ B ．{}φφ∈ C. φφ⊂ D. {}}{,φφφ∈ （4）设{}}{,a a A =，则下列各式中错误的是（ B ）A. {}A a 2∈ B ．{}A a 2⊆ C. {}A a 2}{∈ D. {}Aa 2}{⊆ （5）设{}2,1=A ，{}c b a B ,,=，{}d c C ,=，则)(C B A ⨯为（ B ） A. {}><><c c ,2,1, B ．{}><><c c ,2,,1C. {}><><2,,,1c cD. {}><><2,,1,c c（6）设{}b A ,0=，{}3,,1b B =，则B A 的恒等关系为（ A ） A. {}><><><><3,3,,,1,1,0,0b b B ．{}><><><3,3,1,1,0,0C. {}><><><3,3,,,0,0b bD. {}><><><><0,3,3,,,1,1,0b b（7）设{}c b a A ,,=上的二元关系如下，则具有传递性的为（ D ）A. {}><><><><=a b b a a c c a ,,,,,,,1ρB ． {}><><=a c c a ,,,2ρC. {}><><><><=c b a b c c b a ,,,,,,,3ρD. {}><=a a ,4ρ（8）设ρ为集合A 上的等价关系，对任意A a ∈，其等价类[]ρa 为（ B ）A. 空集； B ．非空集； C. 是否为空集不能确定； D. }|{A x x ∈.（9）映射的复合运算满足（ B ）A. 交换律 B ．结合律 C. 幂等律 D. 分配律（10）设A ，B 是集合，则下列说法中（ C ）是正确的.A ．A 到B 的关系都是A 到B 的映射B ．A 到B 的映射都是可逆的C ．A 到B 的双射都是可逆的D ．B A ⊂时必不存在A 到B 的双射（11）设A 是集合，则（ B ）成立.A ．A A #22#=B ．A X X A⊆↔∈2 C ．{}A2∈φ D ．{}AA 2∈ （12）设A 是有限集（n A =#），则A 上既是≤又是～的关系共有（B ）.A ．0个B ．1个C ．2个D ．n 个三、填空题1. 设}}2,1{,2,1{=A ，则=A2____________.填}}},2,1{,2{}},2,1{,1{},2,1{}},2,1{{},2{},1{,{2A A φ=2.设}}{,{φφ=A ，则A 2= . 填}}},{{},{,{2A A φφφ=3.设集合B A ,中元素的个数分别为5#=A ，7#=B ，且9)(#=⋃B A ，则集合B A ⋂中元素的个数=⋂)(#B A .34.设集合}4,1001|{Z x x x x A ∈≤≤=的倍数，是，}5,1001|{Z x x x x B ∈≤≤=的倍数，是，则B A 中元素的个数为 .405.设 },{b a A =, ρ 是 A2 上的包含于关系，,则有ρ= .},,},{,}{},{,},{,}{},{,,,}{,,}{,,,{><><><><><><><><><A A A b b b A a a a A b a φφφφφ6.设21,ρρ为集合 A 上的二元关系, 则=21ρρ .~1~2ρρ7.集合A 上的二元关系ρ为传递的充分必要条件是．ρρρ⊆8. 设集合{}{}><><==0,2,2,02,1,01ρ上的关系A 及集合A 到集合{}4,2,0=B 的关系=2ρ｛><b a ,|><b a ,A b a B A ∈⨯∈,且∩}=21,ρρ 则B ___________________. 填 }2,2,0,2,2,0,0,0{><><><><四、解答题1. 设 A d c b a A },,,,{=上的关系 },,,,,,,,,,,,,,,{><><><><><><><><=c d d c a b b a d d c c b b a a ρ（1）写出ρ的关系矩阵；（2）验证ρ是A 上的等价关系；（3）求出A 的各元素的等价类。

离散考试复习题题

第一部分：数理逻辑1 下列语句是命题的是( ）：A.15能被3整除，3是偶数吗？B.明年5月1日是晴天C.2X+3>0D.我在说谎.2下列叙述中有( ）个命题(1)离散数学是计算机科学系的一门必修课 (2) 地球外的星球上也有人(3) 我正在说谎. (4)请不要吸烟A.1个B.2个C. 3个D. 4个3 下列语句中不是．．命题的只有（）A．这个语句是假的。

B．1+1=1.0C．飞碟来自地球外的星球。

D．凡石头都可练成金。

4 设p：我很累，q：我去学习，命题：“除非我很累，否则我就去学习”的符号化正确的是A．┐p∧q B．┐p→qC．┐p→┐q D．p→┐q5 令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（）A. p∧┐q B．p∨┐qC. p∧q D．p→┐q6使用逻辑连接词将下列复合命题符合化：（1）如果天不下雪且我有时间，我就进城；（2）我进城的必要条件是我有时间；（3）天不下雪或我不进城；（4）我进城当且仅当我有时间且天不下雪。

7判断下面一段论述是否为真：“ 是无理数。

并且，如果3是无理数，则2也是无理数。

另外6能被2整除，6才能被4整除。

”11. 将下列命题符号化(1)2或3是素数.(2)4或6是素数.(3)小元元只能拿一个苹果或一个梨.(4)王晓红生于1975年或1976年.8命题公式q ∧(p ∨┐q)的成真赋值是＿＿＿＿＿＿＿＿＿＿＿＿9命题公式p ∨(┐p →(q ∨(┐q →r)))的成假赋值是＿＿＿＿＿＿＿＿10 命题公式(p →(q ∧r))∧(┐p →(┐q ∧┐r))的成真赋值是＿＿＿11 命题公式p →(p ∧(q →r))的成假赋值是＿＿＿＿＿＿＿＿＿＿＿＿12..下列命题公式中是重言式的为（）A.q q)p (∧→⌝B. r q p ∧∧)(C.)()(q p q p ⌝∧∨∧D.p p q p ↔→→))((13 命题公式“q p q p →⌝∧∨)(”，是__________。

离散数学期末考试题及答案

离散数学期末考试题及答案一、单项选择题（每题2分，共20分）1. 集合{1, 2, 3}的子集个数是：A. 3B. 4C. 8D. 2^3答案：C2. 命题逻辑中，命题p∧(q∨¬p)的真值表中，真值个数为：A. 1B. 2C. 3D. 4答案：B3. 函数f: A→B中，若A={1, 2}，B={a, b}，则f是单射的必要条件是：A. |A| ≤ |B|B. |A| < |B|C. |A| = |B|D. |A| > |B|答案：B4. 以下哪个图是无向图？A. 有向图B. 无向图C. 完全图D. 树答案：B5. 在图论中，一个图的生成树是：A. 包含图中所有顶点的最小连通子图B. 包含图中所有边的最小连通子图C. 包含图中所有顶点和边的连通子图D. 包含图中所有顶点和边的无环子图答案：A6. 以下哪个命题是真命题？A. 所有偶数都是整数B. 所有整数都是偶数C. 所有奇数都是整数D. 所有整数都是奇数答案：A7. 在布尔代数中，以下哪个运算符表示逻辑与？A. ∨B. ∧C. ¬D. →答案：B8. 有限状态机中，状态的转移是由以下哪个决定的？A. 当前状态B. 输入符号C. 当前状态和输入符号D. 输出符号答案：C9. 以下哪个是图的遍历算法？A. 深度优先搜索B. 广度优先搜索C. 动态规划D. 分治算法答案：A10. 在集合论中，以下哪个符号表示集合的交集？A. ∪B. ∩C. ×D. ÷答案：B二、填空题（每题2分，共20分）1. 集合{1, 2, 3}的幂集是{∅, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}，其中包含元素个数最多的子集是_。

答案：{1, 2, 3}2. 在命题逻辑中，如果p和q都为真，则p∨q的真值为_。

答案：真3. 函数f: A→B中，若A={1, 2}，B={a, b, c}，则f是满射的必要条件是_。

离散数学期末考试题及答案

离散数学期末考试题及答案一、单项选择题（每题2分，共20分）1. 集合A={1,2,3}，B={2,3,4}，则A∩B=（）。

A. {1,2,3}B. {2,3}C. {2,4}D. {1,4}答案：B2. 命题“若x>0，则x>1”的逆否命题是（）。

A. 若x≤0，则x≤1B. 若x≤1，则x≤0C. 若x>1，则x>0D. 若x≤1，则x≤0答案：B3. 函数f: A→B的定义域是集合A，值域是集合B，则（）。

A. A⊆BB. A⊂BC. A⊇BD. A⊃B答案：A4. 集合{1,2,3}与集合{3,2,1}是否相等？（）。

A. 是B. 否C. 无法确定D. 以上都不对答案：A5. 命题p:“x>0”，则￢p为（）。

A. x≤0B. x<0C. x=0D. x<0或x=0答案：A6. 命题“若x>0，则x>1”的逆命题是（）。

A. 若x>0，则x>1B. 若x≤1，则x≤0C. 若x>1，则x>0D. 若x≤0，则x≤1答案：C7. 函数f: A→B的定义域是集合A，值域是集合B，则（）。

A. A⊆BB. A⊂BC. A⊇BD. A⊃B答案：A8. 集合{1,2,3}与集合{3,2,1}是否相等？（）。

A. 是B. 否C. 无法确定D. 以上都不对答案：A9. 命题p:“x>0”，则￢p为（）。

A. x≤0B. x<0C. x=0D. x<0或x=0答案：A10. 命题“若x>0，则x>1”的逆命题是（）。

A. 若x>0，则x>1B. 若x≤1，则x≤0C. 若x>1，则x>0D. 若x≤0，则x≤1答案：C二、填空题（每题2分，共20分）1. 集合A={1,2,3}，B={2,3,4}，则A∪B=______。

答案：{1,2,3,4}2. 命题“若x>0，则x>1”的逆否命题是：若x≤1，则x≤0。

离散数学期末考试题及答案

离散数学期末考试题及答案一、选择题（每题2分，共20分）1. 在集合论中，表示两个集合A和B的并集的符号是：A. ∩B. ∪C. ⊂D. ⊆2. 以下哪个命题逻辑表达式是真命题，当P为真，Q为假时？A. ¬PB. P ∧ QC. P ∨ QD. P → Q3. 如果函数f: A → B是一个单射，那么它不能是：A. 满射B. 双射C. 恒等函数D. 逆函数4. 在图论中，一个图G是连通的，当且仅当：A. G是无向图B. G是简单图C. G是完全图D. 对于任意两个顶点，都存在一条路径5. 以下哪个不是组合数学中的计数原理？A. 加法原理B. 乘法原理C. 排列D. 组合二、简答题（每题10分，共30分）6. 解释什么是二元关系，并给出一个例子。

7. 描述什么是有向图和无向图的区别。

8. 什么是等价关系，它有哪些性质？三、计算题（每题15分，共30分）9. 给定集合A = {1, 2, 3, 4}，B = {a, b, c}，定义函数f: A → B，其中f(1) = a, f(2) = b, f(3) = c, f(4) = a。

判断f是否是单射、满射或双射，并给出理由。

10. 计算以下命题逻辑表达式的真值表：(P ∧ Q) → (¬P ∨ R)，其中P、Q、R是命题变量。

四、证明题（每题20分，共20分）11. 证明：如果一个图G是连通的，那么它的任意子图也是连通的。

答案一、选择题1. B2. C3. A4. D5. D二、简答题6. 二元关系是定义在两个集合上的一个关系，它将第一个集合中的每个元素与第二个集合中的元素相关联。

例如，如果A是人名的集合，B是年龄的集合，关系R可以是“比...年长”，那么(Alice, 30) ∈ R表示Alice比30岁年长。

7. 有向图由顶点和有向边组成，每条边都有一个方向，表示从一个顶点指向另一个顶点。

无向图由顶点和无向边组成，边没有方向。

离散数学复习题(请参考课件)

离散数学Part1_数理逻辑部分1．将下列命题符号化。

P48（1）豆沙包是由面粉和红小豆做成的.（2）苹果树和梨树都是落叶乔木.（3）王小红或李大明是物理组成员.（4）王小红或李大明中的一人是物理组成员.（5）由于交通阻塞，他迟到了.（6）如果交通不阻塞，他就不会迟到.（7）他没迟到，所以交通没阻塞.（8）除非交通阻塞，否则他不会迟到.（9）他迟到当且仅当交通阻塞.分清复合命题与简单命题分清相容或与排斥或分清必要与充分条件及必要充分条件答案：（1）是简单命题（2）是合取式（3）是析取式（相容或）（4）是析取式（排斥或）请分别写出（1）—（4）的符号化形式设p: 交通阻塞，q: 他迟到（5）p→q, （6）⌝p→⌝q或q→p（7）⌝q→⌝p或p→q, （8）q→p或⌝p→⌝q（9）p↔q或⌝p↔⌝q可见（5）与（7），（6）与（8）相同（等值）3．用真值表判断下面公式的类型P51（1）p∧r∧⌝(q→p)（2）((p→q) →(⌝q→⌝p)) ∨r（3）(p→q) ↔(p→r)按层次写真值表，由最后一列判类型答案：（1）为矛盾式，（2）为重言式，（3）为可满足式例用等值演算法判断下列公式的类型P59（1）q∧⌝(p→q)（2）(p→q)↔(⌝q→⌝p)（3）((p∧q)∨(p∧⌝q))∧r)解（1）q∧⌝(p→q)⇔q∧⌝(⌝p∨q) （蕴涵等值式）⇔q∧(p∧⌝q) （德摩根律）⇔p∧(q∧⌝q) （交换律，结合律）⇔p∧0 （矛盾律）⇔ 0 （零律）由最后一步可知，（1）为矛盾式.（2）(p→q)↔(⌝q→⌝p)⇔ (⌝p∨q)↔(q∨⌝p) （蕴涵等值式）⇔ (⌝p∨q)↔(⌝p∨q) （交换律）⇔ 1由最后一步可知，（2）为重言式.问：最后一步为什么等值于1？说明：（2）的演算步骤可长可短，以上演算最省.（3）((p∧q)∨(p∧⌝q))∧r)⇔ (p∧(q∨⌝q))∧r（分配律）⇔p∧1∧r（排中律）⇔p∧r（同一律）由最后一步可知，（3）不是矛盾式，也不是重言式，它是可满足式，其实101, 111是成真赋值，000, 010等是成假赋值.总结：从此例可看出A为矛盾式当且仅当A ⇔ 0A为重言式当且仅当A ⇔ 1例求公式A=(p→⌝q)→r的主析取范式与主合取范式. P71（1）求主析取范式(p→⌝q)→r⇔ (p∧q)∨r（析取范式）①(p∧q)⇔ (p∧q)∧(⌝r∨r)⇔ (p∧q∧⌝r)∨(p∧q∧r)⇔m6∨m7②r⇔ (⌝p∨p)∧(⌝q∨q)∧r⇔ (⌝p∧⌝q∧r)∨(⌝p∧q∧r)∨(p∧⌝q∧r)∨(p∧q∧r) ⇔m1∨m3∨m5∨m7 ③②, ③代入①并排序，得(p→⌝q)→r⇔m1∨m3∨m5∨m6∨m7 （主析取范式）（2）求A的主合取范式(p→⌝q)→r⇔ (p∨r)∧(q∨r) （合取范式）①p∨r⇔p∨(q∧⌝q)∨r⇔ (p∨q∨r)∧(p∨⌝q∨r)⇔M0∧M2 ②q∨r⇔ (p∧⌝p)∨q∨r⇔ (p∨q∨r)∧(⌝p∨q∨r)⇔M0∧M4 ③②, ③代入①并排序，得(p→⌝q)→r⇔M0∧M2∧M4 （主合取范式1．设A与B均为含n个命题变项的公式，判断下列命题是否为真？P85 （1）A⇔B当且仅当A与B有相同的主析取范式（2）若A为重言式，则A的主合取范式为0（3）若A为矛盾式，则A的主析取范式为1（4）任何公式都能等值地化成{∧, ∨}中的公式（5）任何公式都能等值地化成{⌝, →, ∧}中的公式（1）为真，这是显然的（2）为假. 注意, 任何公式与它的主范式是等值的，显然重言式不能与0等值。

离散数学数理逻辑部分期末复习题

离散数学数理逻辑部分综合练习辅导一、单项选择题1．设P ：我将去打球，Q ：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )．A ．P Q →B ．Q P →C ．Q P ↔D ．Q P ⌝∨⌝因为语句“仅当我有时间时”是“我将去打球”的必要条件，所以选项B 是正确的．正确答案：B一般地，当语句是由“……，仅当……”组成，它的符号化用条件联结词→．问：如果把“我将去打球”改成“我将去学习”、“我将去旅游”等，会符号化吗？2．设命题公式G ：)(R Q P ∧→⌝，则使公式G 取真值为1的P ，Q ，R 赋值分别是 ( )．A ．0, 0, 0B ．0, 0, 1C ．0, 1, 0D ．1, 0, 0 个人收集整理勿做商业用途当P 为真值为1时，P ⌝的真值为0，无论()Q R ∧的真值是1还是0，命题公式G 的真值为1．所以选项D 是正确的．正确答案：D3．命题公式P ∨Q 的合取范式是 ( )．A ．P ∧QB ．（P ∧Q ）∨（P ∨Q ）C ．P ∨QD ．⌝（⌝P ∧⌝Q ）复习合取范式的定义：定义6.6.2 一个命题公式称为合取范式，当且仅当它具有形式：A 1∧A 2∧…∧A n ，（n ≥1）其中A 1，A 2，…，A n 均是由命题变元或其否定所组成的析取式．由此可知，选项B 和D 是错的．又因为P ∧Q 与P ∨Q 不是等价的，选项A 是错的．所以，选项C 是正确的．正确答案：C4．命题公式)(Q P →⌝的析取范式是( )．A ．Q P ⌝∧B Q P ∧⌝C ．Q P ∨⌝D ．Q P ⌝∨复习析取范式的定义：定义6.6.3 一个命题公式称为析取范式，当且仅当它具有形式：A 1∨A 2∨…∨A n ，（n ≥1）其中A 1，A 2，…，A n 均是有命题变元或其否定所组成的合取式．公式)(Q P →⌝与Q P ⌝∧是等价的，Q P ⌝∧满足析取范式的定义，所以，选项A是正确的．正确答案：A5．下列公式成立的为( )．A．⌝P∧⌝Q ⇔P∨Q B．P→⌝Q⇔⌝P→QC．Q→P⇒ P D．⌝P∧(P∨Q)⇒Q因为：⌝P∧(P∨Q)⇒Q所以，选项D是正确的．正确答案：D6．下列公式( )为重言式．A．⌝P∧⌝Q↔P∨Q B．(Q→(P∨Q)) ↔(⌝Q∧(P∨Q))C．(P→(⌝Q→P))↔(⌝P→(P→Q)) D．(⌝P∨(P∧Q)) ↔Q(P→(⌝Q→P)) ⇔⌝P∨(Q∨ P)，(⌝P→(P→Q)) ⇔ P∨(⌝P∨Q) 所以，C是重言式，也就是永真式．正确答案：C说明：如果题目改为“下列公式( )为永真式”，应该是一样的．7．设A（x）：x是人，B（x）：x是学生，则命题“不是所有人都是学生”可符号化为（）．A．(∀x)(A(x)∧B(x)) B．⌝(∃x)(A(x)∧B(x))C．⌝(∀x)(A(x)→B(x))D．⌝(∃x)(A(x)∧⌝B(x))由题设知道，A(x)→B(x)表示只要是人，就是学生，而“不是所有”应该用全称量词的否定，即⌝∀x，得到公式C．个人收集整理勿做商业用途正确答案：C8．设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为( )．个人收集整理勿做商业用途A．))G(xx)(⌝∀(→x⌝C((x()Gx∧x⌝C⌝∀B．)) C．))G(x()(x∧x⌝C⌝∃x⌝∃D．)))((x(Gx⌝→C由题设知道，C(x)∧⌝ G(x)表示国家级运动员不是健壮的，而“没有一个”就是“不存在一个”，因此用存在量词的否定，即⌝∃x，得到公式D．个人收集整理勿做商业用途正确答案：D9．表达式))RyQzyxP∧∨∃→x∀∀中x(x(,)())(zQ((zy,)∀的辖域是( )．A．P(x, y) B．P(x, y)∨Q(z) C．R(x, y) D．P(x, y)∧R(x, y)个人收集整理勿做商业用途所谓辖域是指“紧接于量词之后最小的子公式称为量词的辖域”．那么看题中紧接于量词∀x之后最小的子公式是什么呢？显然是P(x, y)∨Q(z)，因此，选项B是正确的．个人收集整理勿做商业用途正确答案：B10．在谓词公式(∀x )(A (x )→B (x )∨C (x ，y ))中，（）．A ．x ，y 都是约束变元B ．x ，y 都是自由变元C ．x 是约束变元，y 都是自由变元D ．x 是自由变元，y 都是约束变元约束变元就是受相应的量词约束的变元．而自由变元就是不受任何量词约束的变元．所以选项C 是正确的．正确答案：C注：如果该题改为填写约束变元或自由变元的填空题，大家也应该掌握．二、填空题1．命题公式()P Q P →∨的真值是．因为()P Q P →∨⇔⌝P ∨(Q ∨P )⇔1，所以应该填写：1．应该填写：1问：命题公式Q Q →、Q Q ⌝∨的真值是什么？2．设P ：他生病了，Q ：他出差了．R ：我同意他不参加学习. 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为．个人收集整理勿做商业用途一般地，当语句是由“如果……，那么……”，或“若……，则……”组成，它的符号化用条件联结词→．应该填写：(P ∨Q )→R3．含有三个命题变项P ，Q ，R 的命题公式P ∧Q 的主析取范式是．复习主析取范式的定义：定义6.6.5 对于给定的命题变元，如果有一个等价公式，它仅仅有小项的析取组成，则该等价式称为原式的主析取范式．个人收集整理勿做商业用途而小项的定义是：定义6.6.4 n 个命题变元的合取式，称为布尔合取或小项，其中每个变元与它的否定不能同时存在，但两者必须出现且仅出现一次．个人收集整理勿做商业用途由小项的定义知道，命题公式P ∧Q 中缺少命题变项R 与它的否定，因此，应该补上，即P ∧Q ⇔P ∧Q ∧ (R ∨⌝R ) ⇔(P ∧Q ∧ R ) ∨(P ∧Q ∧⌝R )得到命题公式P ∧Q 的主析取范式．应该填写：(P ∧Q ∧R )∨ (P ∧Q ∧⌝R )4．设个体域D ＝{a , b },那么谓词公式)()(y yB x xA ∀∨∃消去量词后的等值式为．因为在有限个体域下，消除量词的规则为：设D ＝{a 1, a 2, …, a n }，则所以，应该填写：(A (a )∨ A (b ))∨ (B (a )∧ B (b ))应该填写：(A (a )∨ A (b ))∨ (B (a )∧ B (b ))如果个体域是D ＝{1, 2}，D ={a , b , c }, 或谓词公式变为(()())x A x B x ∃∨，怎么做?5．设个体域D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式(∃x)A(x) 的真值为．因为(∃x)A(x)⇔A(1)∨A(2)∨A(3)⇔1∨1∨0⇔1应该填写：16．谓词命题公式(∀x)((A(x)∧B(x)) ∨C(y))中的自由变元为．因为自由变元就是不受任何量词约束的变元，在公式(∀x)((A(x)∧B(x)) ∨C(y))中，y是不受全称量词∀约束的变元．所以应该填写：y．个人收集整理勿做商业用途应该填写：y问: 公式中的约束变元是什么?三、公式翻译题1．请将语句“今天是天晴”翻译成命题公式．解：设P：今天是天晴；则命题公式为：P．问：“今天不是天晴”的命题公式是什么？2．请将语句“小王去旅游，小李也去旅游．”翻译成命题公式．解：设P：小王去旅游，Q：小李去旅游，则命题公式为：P∧Q．注：语句中包含“也”、“且”、“但”等连接词，命题公式要用合取“∧”．3．请将语句“他去旅游，仅当他有时间．”翻译成命题公式．解：设P：他去旅游，Q：他有时间，则命题公式为：P→Q．4．请将语句“所有人都努力工作．”翻译成谓词公式．解：设P(x)：x是人，Q(x)：x努力工作．谓词公式为：(∀x)(P(x)→ Q(x))．四、判断说明题（判断下列各题，并说明理由．）1．命题公式P P⌝∧的真值是1．解错误．因为P P⌝∧是永假式（教材167页的否定律）．2．命题公式⌝P∧(P→⌝Q)∨P为永真式．解：正确因为，由真值表P Q ⌝P ⌝Q P→⌝Q⌝P∧(P→⌝Q)∨P0 0 1 1 1 10 1 1 0 1 110 0 1 1 1 1 1 0 0 0 1可知，该命题公式为永真式．注：如果题目改为该命题公式为永假式，如何判断并说明理由？3．下面的推理是否正确，请给予说明．(1) (∀x )A (x ) ∧ B (x ) 前提引入(2) A (y ) ∧B (y ) US (1)解：错第2步应为：A (y )∧B (x )因为A (x )中的x 是约束变元，而B (x )中的x 是自由变元，换名时，约束变元与自由变元不能混淆．五．计算题1．求P →Q ∨R 的析取范式，合取范式、主析取范式，主合取范式．解 P →Q ∨R ⇔⌝P ∨Q ∨R （析取范式、合取范式、主合取范式）⇔(⌝P ∧(Q ∨⌝Q )∧(R ∨⌝R ))∨((P ∨⌝P )∧Q ∧(R ∨⌝R ))∨((P ∨⌝P )∧(Q ∨⌝Q )∧R )个人收集整理勿做商业用途（补齐命题变项）⇔(⌝P ∧Q ∧R )∨(⌝P ∧Q ∧⌝R )∨(⌝P ∧⌝Q ∧R )∨(⌝P ∧⌝Q ∧⌝R )∨(P ∧Q ∧R )∨(P ∧Q ∧⌝R )∨(⌝P ∧Q ∧R )∨(⌝P ∧Q ∧⌝R )∨(P ∧Q ∧R )∨(P ∧⌝Q ∧R )∨(⌝P ∧Q ∧R )∨(⌝P ∧⌝Q ∧R ) （∧对∨的分配律）个人收集整理勿做商业用途⇔(⌝P ∧⌝Q ∧⌝R )∨(⌝P ∧⌝Q ∧R )∨(⌝P ∧Q ∧⌝R )∨(⌝P ∧Q ∧R )∨(P ∧⌝Q ∧R )∨(P ∧Q ∧⌝R )∨(P ∧Q ∧R ) （主析取范式）个人收集整理勿做商业用途注：如果题目只是求“析取范式”或“合取范式”，大家一定不要再进一步求“主析取范式”或“主合取范式”．2．设谓词公式()((,)()(,,))()(,)x P x y z Q y x z y R y z ∃→∀∧∀．（1）试写出量词的辖域；（2）指出该公式的自由变元和约束变元．解（1）量词x ∃的辖域为(,)(,,)P x y zQ y x z →∀，z ∀的辖域为(,,)Q y x z ，y ∀的辖域为(,)R y z ．（2）自由变元为(,)(,,)P x y zQ y x z →∀中的y ，(,)R y z 中的z ．约束变元为(,)(,,)P x y zQ y x z →∀中的x ，(,,)Q y x z 中的z ，(,)R y z 中的y ．3．设个体域为D ={a 1, a 2}，求谓词公式∀y ∃xP (x ,y )消去量词后的等值式．解：∀y ∃xP (x , y )⇔(∃xP (x , a 1))∧(∃xP (x , a 2))⇔(P (a 1, a 1)∨P (a 2, a 1))∧(P (a 1, a 2)∨P (a 2, a 2))六、证明题1．试证明命题公式(P→(Q∨⌝R))∧⌝P∧Q与⌝（P∨⌝Q）等价．证：(P→(Q∨⌝R))∧⌝P∧Q⇔(⌝P∨(Q∨⌝R))∧⌝P∧Q⇔((⌝P∨Q∨⌝R)∧⌝P)∧Q⇔⌝P∧Q（吸收律）⇔⌝(P∨⌝Q) （摩根律）2．试证明(∃x)(P(x)∧R(x))⇒(∃x)P(x)∧(∃x)R(x)．分析：前提：(∃x)(P(x)∧R(x))，结论：(∃x)P(x)∧(∃x)R(x) ．证明(1) (∃x)(P(x)∧R(x)) P(2) P(a)∧R(a) ES(1) (存在指定规则)(3) P(a) T(2) （化简）(4) (∃x)P(x) EG(3) (存在推广规则)(5)R(a) T(2) （化简）(6) (∃x)R(x) EG(5) (存在推广规则)(7) (∃x)P(x)∧(∃x)R(x) T(4)(6) （合取引入）。

离散数学数理逻辑部分期末复习题

《离散数学》复习题及答案

离散数学期末复习题(6套)

离散数学期末考试题及答案

离散数学期末考试复习题及参考答案

华南师范大学 离散数学数理逻辑-复习题

离散数学期末考试题及答案

《离散数学》复习题及答案

数理逻辑复习题

离散期末考试题及答案

离散数学数理逻辑期末练习题

(完整word版)离散数学数理逻辑部分期末复习辅导

离散数学期末考试题及答案

离散数学期末复习题

离散考试复习题题

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学期末考试题及答案

离散数学复习题(请参考课件)

离散数学数理逻辑部分期末复习题

华南师范大学离散数学数理逻辑-复习题