第二章谓词逻辑法.ppt

5 the nature of predicate formula 3. 谓词公式的等价性 定义4 设P与Q是两个谓词公式，D是它们共同的个体域，若对D上的任何一个解释，P与Q都有相同的真值，则称公式P和Q在D上是等价的。如果D是任意个体域，则称P和Q是等价的，记为P Q 。 5.3 谓词公式的等价性 Equivalence (1) 否定之否定 　　～(～P)等价于P (2) P∨Q等价于～P→Q (3) 狄·摩根定律 ～(P∨Q)等价于～P∧～Q ～(P∧Q)等价于～P∨～Q　 (4) 分配律 　　P∧(Q∨R)等价于(P∧Q)∨(P∧R) 　　P∨(Q∧R)等价于(P∨Q)∧(P∨R) (5) 交换律 　　P∧Q等价于Q∧P 　　P∨Q等价于Q∨P 5.3 谓词公式的等价性 Equivalence (6) 结合律 (P∧Q)∧R等价于P∧(Q∧R) (P∨Q)∨R等价于P∨(Q∨R) (7) 逆否律 P→Q等价于～Q→～P　　 (8) ～( x)P(x)等价于( x)［～P(x)］ 　　～( x)P(x)等价于( x)［～P(x)］ (9)( x)［P(x)∧Q(x)］等价于 　　( x)P(x)∧( x)Q(x) 　　( x)［P(x)∨Q(x)］等价于 　　( x)P(x)∨( x)Q(x) (10)( x)P(x