左孝凌离散数学课件1.5重言式及蕴含式.ppt

* 离散数学(Discrete Mathematics) 第一章 命题逻辑（Propositional Logic） 1.5重言式与蕴含式(Tautology and Implication) 一、命题公式的分类 二、蕴含式 三、蕴含式的性质 * 第一章 命题逻辑（Propositional Logic） 1.5重言式与蕴含式(Tautology and Implication) 1.5.1 命题公式的分类 1.5.2 重言式与矛盾式的性质 1.5.3 蕴含式 * 第一章 命题逻辑（Propositional Logic） 1.5重言式与蕴含式(Tautology and Implication) 1.5.1 命题公式的分类 定义1.5.1 设A为任一命题公式， （1）若A在其各种赋值下的取值均为真，则称A是重言式或永真式, 记为T或1。 （2）若A在其各种赋值下的取值均为假，则称A是矛盾式或永假式, 记为F或0。 （3）若A不是矛盾式则称A为可满足式(satisfiable)。注: 由定义可知,重言式一定是可满足式,反之不真. * 第一章 命题逻辑（Propositional Logic） 1.5重言式与蕴含式(Tautology and Implication) 判别命题公式的类型有两种方法: 真值表法和等值 演算法. 等值演算法是将所给命题公式通过等值演算化为最 简单的形式, 然后再进行判别. 例1.判别下列命题公式的类型. (1). Q∨┓((┓P∨Q)∧P) (重言式) (2). (P∨┓P) ?(Q∧┓Q)∧R (矛盾式) (3). (P ? Q)∧┓P. (可满足式) * 第一章 命题逻辑（Propositional Logic） 1.5重言式与蕴含式(Tautology and Implication) 1.5.2 重言式与矛盾式的性质 定理1.5.1: 任何两个重言式的合取或析取,仍然是一重言式.（由幂等律立得） 证明:设A和B为两个重言式,则不论A和B的分量指派任何真值,总有A为T,B为T,故A ∧ B ?T,A ∨ B ?T 定理1.5.2: 一个重言式(矛盾式),对同一分量都用任何合式公式置换,其结果仍为一重言式(矛盾式). 证明: 由于重言式(矛盾式)的真值与对变元的赋值无关，故对同一变元以任何合式公式置换后，重言式(矛盾式)的真值仍永为T（F）。举例 例题1 证明((P∨S)∧R)V┐((P∨S)∧R)为重言式。 证明： 因为PV┐P?T（否定律，）为重言式，根据定理1.5.2 如以((P∨S)∧R)置换P即得 ((P∨S)∧R)V┐((P∨S)∧R) ?T * 第一章 命题逻辑（Propositional Logic） 1.5重言式与蕴含式(Tautology and Implication) 定理1.5.3： A,B是两个命题公式，A ? B的充要条件是A ? B为重言式。 证明: 若A?B为重言式， 则A?B永为T，即A，B的真值表相同， 所以A?B。 反之，若A ? B，则A，B真值表相同， 所以A?B永为T，所以A?B为重言式。举例 例2 ：证明（（Q → P） ∧ （ ﹁ P→Q ） ∧（Q?Q） ） ?P ?T 证明： 直接证明该式?T 很长 根据定理1.5.3，只需证 （（Q → P） ∧ （ ﹁ P→Q ） ∧（Q?Q） ） ? P 左? （ ﹁ Q ∨ P） ∧ （ P ∨ Q ） ∧T ? （ ﹁ Q ∨ P） ∧ （ Q ∨P ） ?P ∨（ ﹁ Q ∧ Q） ? P ∨F ? P 小结： 证明A ?B的方法 按定义。即根据真值表，二者具有相同真值 要证明 A ?B ?T 只需证明A ? B 即可，反之亦然 用等价代换推导法A ?…… ?B 1.5.3 蕴含式( Implication)（一类特殊的重言式） 定义1.5.2：当且仅当P ? Q是一个重言式时，我们称“P蕴含Q”，并记作P ? Q. 例如：（P ∧Q ）→Q ? ﹁ （P ∧Q ） ∨Q ? ﹁ P ∨（ ﹁ Q ∨ Q） ? ﹁ P ∨T ?T，故（P ∧Q ） ? Q 第一章 命题逻辑（Propositional Logic） 1.5重言式与蕴含式(Tautology and Im