离散数学-命题逻辑教学课程.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)∨Q E3ˊ( 分配律) ? ?(P∨R)∨Q E10(德.摩根定律) ? (P∨R)?Q E11 所以(P?Q)∧(R?Q)?(P∨R)?Q 例3 证明下列命题公式的等值关系 (P ? Q ) ? (? P ? ( ? P ? Q ) ) ? ?P ? Q 证明 (P?Q)?( ?P?(?P?Q))