离散数学复习提纲1457章.docVIP

离散数学复习提纲 命题逻辑 1．（PQ）（QR）的主合取范式和主析取范式。 2．试求下列公式的主析取范式： （1）；（2） （an: ） 3．用真值表判断下列公式是恒真？恒假？可满足？ （1）（P((P）(Q （2）(（P(Q）(Q （3）（（P(Q）(（Q(R））(（P(R） (an: 解： 真值表 P Q (P P((P （P((P）(Q 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 1 0 0 0 因此公式（1）为可满足。 ) 真值表 P Q P(Q (（P(Q） (（P(Q）(Q 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 0 因此公式（2）为恒假。 真值表 P Q R P(Q Q(R P(R （（P(Q）(（Q(R））(（P(R） 0 0 0 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 因此公式（3）为恒真。 4．┐Q(（P→Q）蕴涵 ┐P （an: 法1：真值表 法2：若┐Q(（P→Q）为真，则 ┐Q，P→Q为真， 所以Q为假，P为假，所以┐P为真。 法3：若┐P为假，则P为真，再分二种情况： ①若Q为真，则┐Q(（P→Q）为假 ②若Q为假，则P→Q为假，则┐Q(（P→Q）为假 根据① ②，所以 ┐Q(（P→Q）蕴涵 ┐P。） 5．利用基本等价式证明下列命题公式为恒真公式。 （（P(Q）(（Q(R））(（P(R） （（P(Q）((（(P(（(Q((R）））(（(P((Q）(（(P((R） （an: 1、证明： （（P(Q）(（Q(R））(（P(R） =（（(P(Q）(（(Q(R））(（(P(R） =(（（(P(Q）(（(Q(R））(（(P(R） =（P((Q）(（Q((R）((P(R =（（P((Q）((P ）(（（Q((R）(R） =（1(（(Q((P ））(（（Q(R）(1） = (Q((P(Q(R =（(Q(Q） ((P (R = 1 ((P (R = 1 （（P(Q）((（(P(（(Q((R）））(（(P((Q）(（(P((R） =（（P(Q）(（P(（Q(R）））(（(P(（(Q((R）） =（P(（Q( Q(R））(（(P(（(Q((R）） =（P(（Q(R））((（P(（Q(R）） =1） 6．用形式演绎法证明：{}蕴涵 (an: 证明： （1） 规则P （2） 规则Q （1） （3） 规则P （4） 规则Q（3） （5） 规则Q（2）（4） （6）R(S 规则P （7）P(S