1.5重言式与包含式.pptxVIP

离散数学(Discrete Mathematics)医学信息工程系虹岂警卢和凤贸乳及枝您丝吱逛琢赡透冗决凝料颖掣哟径宿嗣痪捕院藻歹1.5重言式与蕴含式1.5重言式与蕴含式第1章 命题逻辑（Propositional Logic） 1.5重言式与蕴含式(Tautology and Implication)1.5.1 命题公式的分类1.5.2 重言式与矛盾式的性质1.5.3 蕴含式鸯锤蛆榔升取惭广筏捐数嗣纸痊胺充傀胶缔扇屑般位阂撞丑柯桂存换郊狼1.5重言式与蕴含式1.5重言式与蕴含式1.5.1 命题公式的分类复合命题(compound propositions)定义1.5.1 设A为任一命题公式，（1）若A在其各种赋值下的取值均为真，则称A是重言式或永真式, 记为T或1。（2）若A在其各种赋值下的取值均为假，则称A是矛盾式或永假式, 记为F或0。（3）若A不是矛盾式则称A为可满足式(satisfiable)。注: 由定义可知,重言式一定是可满足式,反之不真.在俭珐凰荤如卧押原药爷贴鞭实艳侵登粗与枪惨沫亦陶空腺螺篱用岩璃熔1.5重言式与蕴含式1.5重言式与蕴含式 判别命题公式的类型有两种方法: 真值表法和等值演算法. 等值演算法是将所给命题公式通过等值演算化为最简单的形式, 然后再进行判别.例1.判别下列命题公式的类型.(1). Q∨┓((┓P∨Q)∧P)(2). (P∨┓P) ?(Q