Lecture2..pptVIP

* 定义18 设P与Q是D上的两个谓词公式，若对D上的任意指派，P与Q都有相同的真值，则称P和Q在D上是等价的。如果D是任意非空个体域，则称P与Q是等价的，记作P Q。 常用的等价式(书pp40-41) 定义17 对于谓词公式A，如果至少存在结构U和指派s，使公式A在此结构和指派下的真值为T，则称公式A是可满足的。 * (1)双重否定律 (2)交换律 (3)结合律 (4)分配律 (5)德·摩根律 ┐(P∨Q) ? ┐P∧┐ Q , ┐(P∧Q) ? ┐P∨┐ Q (6)吸收律 P∨(P∧Q) ? P , P∧(P∨Q) ? P (7)补余律 P∨┐P?T , P∧┐P ? F (8)联结词化归律 P→Q ? ┐P∨Q , P ←→ Q ?(P→Q) ∧(Q→P) , P ←→ Q ?(P∧Q)∨(┐P∧┐Q) (9)量词转化律 ?(? x)P(x) ? ?x(┐P(x)) , ┐ (? x)P(x) ? ?x ┐P(x) (10)量词分配律 * 定义19 对谓词公式P和Q，如果P→Q永真，则称P永真蕴涵Q，且称Q为P的逻辑推论，P为Q的前提，记作P Q。 常用的永真蕴涵式(书p41) * (1)化简式 P∧Q=P P∧Q=