离散数学作业册选读.doc

第一章 命题逻辑 1.1 命题与逻辑联结词 1. 判断下列语句是否是命题，不是划“×”，是划“√”，且指出它的真值. (1)所有的素数都是奇数. ( ) 其真值( ) (2)明天有离散数学课吗？ ( ) 其真值( ) (3)． ( ) 其真值( ) (4)实践出真知. ( ) 其真值( ) (5)这朵花真好看呀！ ( ) 其真值( ) (6)． ( ) 其真值( ) (7)太阳系外有宇宙人． ( ) 其真值( ) 2. 将下列命题符号化． (1)如果天下雨，那么我不去图书馆. (2)若地球上没有水和空气，则人类无法生存. (3)我们不能既划船又跑步． (4)大雁北回，春天来了. 3.将下列复合命题分解成若干个原子命题，并找出适当的联结词. (1)天下雨，那么我不去图书馆. (2)若地球上没有水和空气，则人类无法生存. 1.2 命题公式 1. 判断下列各式是否是命题公式，不是的划“×”，是的划“√”． (1)(Q(R∧S). ( ) (2)((R((Q(R)((P(Q)). ( ) (3) (P∨QR)(S. ( ) (4)(((P(Q)((Q(P)). ( ) 2．写出五个常用命题联结词的真值表. 1.3 真值表与等价公式 1.指出下列命题的成真赋值与成假赋值． (1)((P∨(Q). (2)(P((Q(P). 2.构造真值表，判断下列公式的类型． (1)(P∧Q)∧((P∨Q). (2) P→(P∧┑Q))∨R. 3.用等值演算法验证下列各等价式． (1) ((P→Q)∧(Q→R))→(P→R)T. (2)P((Q∧R)((P(Q)∧(P(R). (3)((P∨Q)∨((P∧Q)((P． 1.4 蕴涵式及其他联结词 1.试证明下列各式为重言式． (1) (P(Q)∧(Q(R)((P(R)． (2) (P→Q)→QP∨Q． (3) ((P(Q)(P((Q． 2.将下列公式化成与之等价且仅含{┑，∨}中联结词的公式． (1) (P∨Q)∧┑P (2) (P→(Q∨┑R))∧(┑P∧Q) 3.证明{(，∧}是最小全功能联结词组. 4.设A、B、C为任意的三个命题公式，试问下面的结论是否正确？ (1)若A∧C(B∧C，则A(B． (2)若(A((B，则A(B． (3)若A(C(B(C，则A(B． 1.6 对偶与范式 1.试给出下列命题公式的对偶式． (1)T∨(P∧Q)． (2)((P∧Q)∧((P∨Q)． 2.试求下列各公式的主析取范式和主合取范式． (1) (P→(Q∧R))∧(┑P→(┑Q→R))． (2)(((P(Q)∧Q)∨R． (3)(P((Q∨R))∧((P∨(Q(R)). 3.试用将公式化为主范式的方法，证明下列各等价式． (1) (┑P∨Q)∧(P→R)P→(Q∧R) (2) ┑(PQ)(P∧┑Q)∨(┑P∧Q) 1.7 推理理论 1.试用推理规则，论证下列各式． (1) ┑(P∧┑Q),┑Q∨R,┑R┑P (2) P∨Q,Q→R,P→S,┑SR∧(P∨Q) (3) ┑P∨Q,┑Q∨R,R→SP→S (4) P∨Q,P→R,Q→SR∨S 第二章 谓词逻辑 2.1 词的概念与表示 1.用谓词表达写出下列命题． (1) 高斯是数学家，但不是文学家. (2)小王既是运动员也是大学生. (3)张宁和李强都是三好学生. (4)若是奇数，则2不是奇数. 2.2 命题函数与量词 1.用谓词表达式写出下列命题． (1) 每个计算机系的学生都学离散数学. (2)直线A平行于直线B当且仅当直线A不相交于直线B. (3)不存在既是奇数又是偶数的自然数. (4)没有运动员不是强壮的. (5)有些有理数是实数但不是整数. (6)所有学生都钦佩某些教师. 2.3 谓词公式与变元的约束 1.利用谓词公式翻译下列命题． (1)没有一个奇数是偶数. (2)一个整数是奇数，如果它的平方是奇数. 2. 设个体域为自然数集N，令P(x)：x是素数；E(x)：x是偶数； O(x)：x是奇数；D(x，y)：x整除y．将下列各式译成汉语． (1)(x(E(x)∧D(x，6))． (2)(x(O(x)((y(P(x)((D(x，y)))． 3.指出下列表达示中的自由变元和约束变元，并指明量词的辖域． (1)． (2)(x(P(x，y)∨Q(z))∧(y(R(x，y)( (zQ(z))． 4.设个体域为A＝{a，b，c}，消去公式(xP(x)∧(xQ(x)中的量词． 2.4 谓词演算的等价式与蕴含式 1.试证下列等价式或蕴涵式,其中A(x),B(x)表示含x自由变量的公式,A,B表示不含变量x（不论