第一章节 命题逻辑2.pptVIP

基本的等价公式 15/37 代入规则 在一个重言式中，某个命题变元出现的每一处均代以同一个公式后，所得到的新的公式仍是重言式，这条规则称之为带入规则。 25/37 代入规则 例 是重言式，那么用 代P得到的式 子 仍然是重言式。 16/37 公式的等价性 下面我们给出子公式，及关于公式等价的一个定理 定义： 设A是一个公式，A′是A的一部分，且A′也是一个命题公式，则称A′是A的子公式。 替换规则：设A?是公式A的子公式，B ?是一命题公式且A??B?，将A中的A?用B?来取代，则所得到的是一个新公式， 记为B，且A ?B。 E11： 例 应用代入规则和替换规则可以证明新的重言式 因此 公式的等价性 17/37 P??Q?Q Q?(P??Q) E1 (Q?P)?(Q??Q) E8 (Q?P)?T E19 Q?P E20 P?Q E1 证明： 公式的等价性 18/37 19/37 将语句“情况并非如此，如果他不来，那么我也不去”化简。 P：他来。 Q：我去。 符号化为： 化简： 化简后最终意思：我去，他没来。 公式的等价性 全功能联结词集合 前面我们已经学习了6个逻辑联结词：? ? ? ?? 是不是这些逻辑联结词都是必不可少的呢？在前面介绍的等价公式中我们已经发现，有些逻辑联结词是可以被其它逻辑联结词代替的： 例如：P ? Q? ?P ?Q P ? Q? （P ? Q） ? （?P ? ? Q） P ?Q ? ?(?P ? ? Q) P ? Q ? ?(? P ? ? Q) 从上面的讨论我们可以看出逻辑联结词集合{?，?， ?}是全功能的，但不是最小的。逻辑联结词全功能最小完备集是指用该集合中的逻辑联结词能表示所有的命题公式，并且删除一个至少有一个公式不能被表示。例如： {?，?}和{?，?} 均是最小功能完备集 ▽ 33/37 永真蕴含式 定义：当且仅当A→B是一个永真式时，称A永真蕴含B ，记作 要证明A永真蕴含B ，只需要证明A→B是一个永真式 假定前件A是真，若能推出后件B必为真，则A→B永真，于是 . 假定后件B是假，若能推出前件A必为假，则A→B永真，于是 . 28/37 永真蕴含式 29/37 永真蕴含式 29/37 试证明(P?Q)?(Q?R) ?P?R P Q R P?Q Q?R (P?Q)?(Q?R) P?R (P?Q)?(Q?R) ? P?R 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 证明3：真值表 常用永真蕴含式 30/37 等价式和永真蕴含式的关系 设P和Q是命题公式， 的充分必要条件是 并且 设A、B、C是公式且有 ， ，则 设A, B,C是公式，若有 ， 则 31/37 逻辑部件非门的图示： 　　　　Ｐ　　　　?Ｐ 逻辑部件与门的图示： 　　　　Ｐ　　　　　Ｐ?Ｑ 　　　　Ｑ　　　　　　　　 逻辑部件或门的图示： 　　　　Ｐ　　　　Ｐ?Ｑ 　　　　Ｑ 34/37 应用：汽车报站系统 令Ｐ：汽车运行的方向（上行为０下行则为１） 　Ｑ：当前站点（用数字表示） 　Ｒ：下一站点（用数字表示） 于是其逻辑表达式为： Ｐ?Ｑ?Ｒ＝?（Ｐ?Ｑ）?Ｒ 　　　＝?Ｐ??Ｑ?Ｒ 请同学完成该逻辑表达式的图示．　　 　 35/37 　　　　?Ｐ Ｐ　　　　　　 ?Ｐ? ?Ｑ Ｑ　　　　　　　 　　　　 ?Ｑ　　　　　　Ｒ　　　 36/37 作业 P22 –10 (2)(4)(6)(8)(10) –11(1)(3)(4) –12(1)(3) –14(1)(3) –15(1)(2)(5) –16(1) 37/37 9 离散数学 第一章 命题逻辑 助课信息： 1-2节：王思奇