离散数学(第三讲.pptVIP

离散数学（第三讲） 1.5 公式的蕴涵 1.5.1公式蕴涵的基本概念 1.5.2基本蕴涵式 1.5.3蕴涵式A B的证明 1.5.1 公式蕴涵的基本概念 定义1.5.1 设A,B是两个公式,如果A→B是永真式,则称A蕴涵B,记作A ? B. 例1.5.1 1.5.1 公式蕴涵的基本概念 设A,B是两个公式，称A ? B是一个蕴涵式，而称A ? B是一个等价式，二者有如下的关系： 定理1.5.1 设A,B是公式,则A ? B等价于A ? B且 B ? A. 由该定理可知， A ? B是“双向蕴涵”，即A蕴涵B，且B蕴涵A 1.5.1 公式蕴涵的基本概念 蕴涵式具有如下的性质： 定理1.5.2 设A,B,C是公式,那么: (1)A ? A; (2)若A ? B,B ? C,则A ? C; (3)若A ? B,A ? C,则A ? B∧C; (4)若A ? C,B ? C,则A∨B ? C. 1.5.2 基本蕴涵式 由等价和蕴涵的关系可知，所有的基本等价式都是蕴涵式 在数理逻辑中还经常使用下面7个基本蕴涵式: (1) 化简式: P∧Q ? P, P∧Q ? Q (2) 附加式: P ? P∨Q (3) 假言推论: P∧(P→Q) ? Q (4) 拒取式: (P→Q)∧﹁Q ? ﹁P (5) 析取三段式: (P∨Q)∧﹁P ? Q (6) 假言三段式: (P→Q)∧(Q→P) ? P→R (7) 逆反式: P→Q ? ﹁Q→﹁P 1.5.3 蕴涵式A ? B的证明 A ? B的方法: (1) 真值表法:用真值表证明A→B ? 1.该方法的优点是直观明了,缺点是当命题变元较多时,真值表较大. (2) 等价演算法:用等价演算证明A→B ? 1. 例1.5.3 1.5.3 蕴涵式A ? B的证明 A ? B的方法: (3) 条件式特点演算法:要证明A ? B,无非是说明A→B是永真式,而由A→B的真值特点,A→B的真值为0等价于A的真值为1而B的真值为0,除此情况外,A→B的真值永远是1.因此,只要排除A为1而B为0的可能性,即可以说明A→B是永真式,即A ? B.为此,有两种方式可以进行. ①假定A为1,推演得到B一定为1; ②假定B为0,推演得到A一定为0. 例1.5.4 用条件式特点证明A ? B是一种行之有效的方法。 在有些情况下，其复杂程度远小于用真值表法或等价演算法。 1.6 联结词完备集 1.6.1其他联结词 1.6.2联结词的数目 1.6.3联结词完备集 6个联结词是否够用？ 够用，但并不是说用它们就可以简洁而有效地表达所有命题之间、公式之间的联系。 尤其是在计算机逻辑电路设计及工程中，需要用到其他的联结词 1.6.1 其他联结词 定义1.6.1 设P和Q是命题,复合命题 P↑Q ? ?(P∧Q)称为”P和Q与非”. 真值表如表1.6.1 1.6.1 其他联结词 定理1.6.1 设P是Q公式,那么: (1)P↑P ? ? P (2)P↑Q ? Q↑P (3)(P↑Q)↑(P↑Q) ? P∧Q (4)(P↑P)↑(Q↑Q) ? P∨Q (5)(P↑P)↑P ? 1 定义1.6.2 设P和Q是命题,复合命题 P↓Q ? ?(P∨Q)称为”P与Q的或非”. 联结词↓具有下面的性质 定理1.6.2 设P,Q是公式,那么: (1)P↓P ? ? P (2)P↓Q ? Q↓P (3)(P↓Q)↓(P↓Q) ? P∨Q (4)(P↓P)↓(Q↓Q) ? P∧Q (5)(P↓P)↓P ? 0 定义1.6.3 设P和Q是命题,复合命题 P Q ? ?(P→Q) 称为”P和Q的条件否定”. 真值表如表1.6.3 1.6.3 联结词完备集 定义1.6.4 设S是一个联结词的集合.如果任何公式都可以用只包含S中的联结词的等价公式表达,则称S是一个联结词完备集. 例1.6.1 例1.6.2 例1.6.3 1.6.3 联结词完备集 定义1.6.5 设S是一个联结词完备集,如果从S中去掉任何一个联结词以后就不再是联结词完备集,则称S是一个极小联结词完备集. 例1.6.4 例1.6.5 例1.6.1 {﹁,∧,∨}是一个联结词完备集. 例1.6.2 {﹁,∧}是联结词完备集. 例1.6.3 {﹁,∨}是联结词完备集. 例1.6.4 {﹁,∧}和{﹁,∨}都是极小联结词完备集. 1.7 公式的对偶 1.7.1公式对偶的基本概念 1.7.2对偶原理 1.7.1 公式对偶的基本概念 定义1.7.1 设公式A中只含联结词﹃,∧,∨,将A中的∧,∨分别换成∨, ∧,若有0和1则分别换成1和