离散数学(1.5重言式与蕴含式).pptVIP

* * 离散数学(Discrete Mathematics) * 第一章 命题逻辑（Propositional Logic） 1.5重言式与蕴含式(Tautology and Implication) 1.5.1 命题公式的分类 1.5.2 重言式(Tautology)与矛盾式 (contradictory)的性质 1.5.3 蕴含式( Implication) * 第一章 命题逻辑（Propositional Logic） 1.5重言式与蕴含式(Tautology and Implication) 1.5.1 命题公式的分类 复合命题 (compound propositions) 定义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) 判别命题公式的类型有两种方法: 真值表法和等值 演算法.