离散数学_命题逻辑.pptVIP

(3)?等值演算等值演算是指利用已知的一些等值式，根据置换规则、代入规则以及等值关系的可传递性推导出另外一些等值式的过程。由代入规则知前述的基本等值式，不仅对任意的命题变元P，Q，R是成立的，而且当P，Q，R分别为命题公式时，这些等值式也成立例2证明命题公式的等值关系：(P?Q)∧(R?Q)?(P∨R)?Q；证明(P?Q)∧(R?Q)?(?P∨Q)∧(?R∨Q)E11?(?P∧?R)∨QE3ˊ(分配律)??(P∨R)∨QE10(德.摩根定律)?(P∨R)?QE11所以(P?Q)∧(R?Q)?(P∨R)?Q第30页，共81页，星期日，2025年，2月5日例3证明下列命题公式的等值关系(P?Q)?(?P?(?P?Q))??P?Q证明(P?Q)?(?P?(?P?Q))?(P?Q)?((?P??P)?Q) E2(结合律)?(P?Q)?(?P?Q)E7(等幂律)?(?P?Q)?(P?Q)E1(交换律)??P?(Q?(P?Q))E2(结合律)??P?QE?1，E9(交换律，吸收律)第31页，共81页，星期日，2025年，2月5日例4判别下列公式的类型。（1）Q∧?(?P?(?P∧Q))（2）(P?Q)∧?P解（1）Q∧?(?P?(?P∧Q))?Q∧?(P∨(?P∧Q))E11,E6?Q∧?((P∨?P)∧(P∨Q))E3ノ?Q∧?(1∧(P∨Q))E5?Q∧?(P∨Q)E4ノ?Q∧?P∧?QE10?(Q∧?Q)∧?PE1ノ,E2?0E5ノ,E8ノ所以Q∧?(?P?(?P∧Q))是矛盾式。（2）(P?Q)∧?P?(?P∨Q)∧?PE11??PE9ノ于是该公式是可满足式。第32页，共81页，星期日，2025年，2月5日三、命题公式的蕴含关系定义1-11设A，B是两个公式，若公式A?B是重言式，即A?B?1，则称公式A蕴含公式B，记作A?B。称“A?B”为蕴含式。注意：符号“?”和“?”的区别和联系与符号“?”与“?”的区别和联系类似。“?”不是联结词，“A?B”不是公式，它表示公式A与B之间存在蕴含关系。“?”是联系词，A?B是一个公式。A?B当且仅当A?B是永真公式。第33页，共81页，星期日，2025年，2月5日A?B是偏序关系即自反性：A?A。反对称：若A?B，B?A，则A?B。