《离散数学》课件-第9章 命题逻辑.pptxVIP

;1;;;4;5;6;7;;9;10;11;12;13;14;15;16;17;18;19;20;对于上述五种联结词，应注意到： 复合命题的真值只取决于构成它的各原子命题的真值，而与这些原子命题的内容、含义无关，与联结词所连接的两原子命题之间是否有关系无关。 联结词是从自然语言中逻辑抽象出来的，它仅保留了逻辑内容，而把自然语言所表达的主观因素、心理因素及文学修辞等方面的因素全部撇开，所以联结词只表达了自然语句中的一种客观性质。 联结词 ?、?、? 具有对称性，而 ?、? 没有。 联结词都具有从已知命题得到新的命题的作用，从这个意义上讲，它们具有操作或运算的意义。由此可见，它们可以被看做是一、二元运算，或一、二元函数。;;23;24;例13 将下列命题符号化。 (1) 派小王或小李出差； (2) 我们不能既划船又跑步； (3) 如果你来了，那么他唱不唱歌将看你是否伴奏而定； (4) 如果李明是体育爱好者，但不是文艺爱好者，那么李明不是文体爱好者； (5) 假如上午不下雨，我去看电影，否则就在家里看书。 解：(1) 令 P：派小王出差；Q：派小李出差。 P ? Q (2) 令 P：我们划船；Q：我们跑步。 ?(P ? Q) (3)?? 令 P：你来了；Q：他唱歌；R：你伴奏。 P ? (Q ? R) (4)???令 P：李明是体育爱好者；Q：李明是文艺爱好者。 (P ? ?Q) ? ?(P ? Q) (5)?? 令 P：上午下雨；Q：我去看电影；R：我在家看书。 (?P ? Q) ? (P ? R);;27;;;30;31;32;;例2 给出命题公式 F = ( (P ? Q) ? (Q ? R) ) ? (P ? ?R) 的真值表。 解：公式 F 的真值表如下：;;例3 构造下列命题公式的真值表，并判断其类型。 (1) (?P ? Q) ? ?(P ? Q)； (2) (Q ? P) ? (?P ? Q)； (3) ((P ? Q) ? (Q ? R)) ? (P ? ?R)。 解：令 F1 = (?P ? Q) ? ?(P ? Q)，F2 = (Q ? P) ?(?P ? Q)， F1 和 F2 的真值表如下： 由表可知： F1 是重言式，F2 是矛盾式。 (3) 的真值表如例 2 所示，它是可满足的公式。;;;39;;E6, E6? ?(?P) ? P 双重否定律 / 对合律 E7 P ? P ? P 等幂律 E7? P ? P ? P 等幂律 E8 P ? 1 ? 1 零一律 E8? P ? 0 ? 0 零一律 E9 P ? (P ? Q) ? P 吸收律 E9? P ? (P ? Q) ? P 吸收律 E10 ?(P ? Q) ? ?P ? ?Q 德 ? 摩根律 E10? ?(P ? Q) ? ?P ? ?Q 德 ? 摩根律;42;43;;45;46;47;48;49;50;51;例6 判别下列公式的类型： (1) Q ? ?( ?P ? (?P ? Q) )； (2) (P ? Q) ? ?P； (3) Q ? ?( (?P ? Q) ? P)。 解：(1) 因为 Q ? ?( ?P ? (?P ? Q) ) ? Q ? ?( P ? (?P ? Q) ) E11, E6 ? Q ? ?( (P ? ?P) ? (P ? Q) ) E3? ? Q ? ?( 1 ? (P ? Q) ) E5 (互否律) ? Q ? ?(P ? Q) E4? ? Q ? (?P ? ?Q) E10 ? (Q ? ?Q) ? ?P E1?, E2 ? 0 E5?, E8? 所以 Q ? ?( ?P ? (?P ? Q) ) 是矛盾式。;(2) 因为 (P ? Q) ? ?P ? (?P ? Q) ? ?P E11 ? ?P