离散数学作业册.docxVIP

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