离散数学第五版前3章课后习题答案.docVIP

离散数学第五版前3章课后习题答案 第1章习题 1.1 (2) 简单命题 (3)，(4)，(5)不是命题 (6) 复合命题 1.5 (1)，其中，p:2是偶数，q:2是素数。 p,q (5)，其中，p:天下大雨，q:他乘公共汽车上班 p,q (6)，其中，p，q的含义同(5) q,p (7)，其中，p，q的含义同(5) q,p 1.7 (1)对(1)采用两种方法判断它是重言式。 真值表法 表1.2给出了(1)中公式的真值表，由于真值表的最后一列全为1，所以，(1)为重言式。 p,q,r p,(p,q,r)p q r 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 等值演算法 p,(p,q,r) ,，p,(p,q,r) (蕴含等值式) ,(，p,p),q,r (结合律) ,1,q,r (排中律) (零律) ,1 由最后一步可知，(1)为重言式。 (3)用等值演算法判(3)为矛盾式 ，(p,q),q ,，(，p,q),q (蕴含等值式) ,p,，q,q (德?摩根律) ,p,(，q,q) (结合律) ,p,0 (矛盾律) (零律) ,0 由最后一步可知，(3)为矛盾式。 (10)非重言式的可满足式 1.8(1)从左