1.5重言式与蕴含式.pptVIP

离散数学(Discrete Mathematics);第1章 命题逻辑（Propositional Logic） 1.5重言式与蕴含式(Tautology and Implication);复合命题 (compound propositions) 定义1.5.1 设A为任一命题公式， （1）若A在其各种赋值下的取值均为真，则称A是重言式或永真式, 记为T或1。 （2）若A在其各种赋值下的取值均为假，则称A是矛盾式或永假式, 记为F或0。 （3）若A不是矛盾式则称A为可满足式(satisfiable)。注: 由定义可知,重言式一定是可满足式,反之不真. ; 判别命题公式的类型有两种方法: 真值表法和等值 演算法. 等值演算法是将所给命题公式通过等值演算化为最 简单的形式, 然后再进行判别. 例1.判别下列命题公式的类型. (1). Q∨┓((┓P∨Q)∧P) (2). (P∨┓P) ?(Q∧┓Q)∧R (3). (P ? Q)∧┓P ;定理1.5.1:任何两个重言式的合取或析取,仍然是一重言式.（由幂等律立得） 证明:设A和B为两个重言式,则不论A和B的分量指派任何真值,总有A为T,B为T,故A ∧ B ?T,A ∨ B ?T 定理1.5.2:一个重言式(矛盾式),对同一分量都用任何合式公式置换,其结果仍为一重言式(矛盾式). 证明: 由