离散数学作业册.docxVIP

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