等值式 香定型等值式 量词分配等值式范式-前束范式及Skom标准形 基本的推理公式 推理演算 作型 ●000 000 0 000000000 由命题公式移植来的等值式 ●-P(x)=P(x) --(VJP)=0x)P( 0Px-→O)=-P(x)VOC P9一日=YP0V国0 O IPLA OLUIIV ROT-UPLOV RCAIOCOVRLCI (PCOA OIY VFIRG =P已RA13 刘胜利（上海交大-CS实验室） 鹰数数学第五章：谓词爱辑的等值和推理演算 3/26✤❾➟ ➘➼✳✤❾➟ þ❝➞✛✤❾➟ ❽➟–❝å❽➟✾Skolem■❖✴ ➘✢✛í♥ú➟ í♥ü➂ ❾➆ ❞➲❑ú➟↔❻✺✛✤❾➟ ¬¬P(x) = P(x) ¬¬(∀x)P(x) = (∀x)P(x) P(x) → Q(x) = ¬P(x) ∨ Q(x) (∀x)P(x) → (∃x)Q(x) = ¬(∀x)P(x) ∨ (∃x)Q(x) (P(x) ∧ Q(x)) ∨ R(x) = (P(x) ∨ R(x)) ∧ (Q(x) ∨ R(x)) ((∀x)P(x) ∧ Q(y)) ∨ (∃z)R(z) = ((∀x)P(x) ∨ (∃z)R(z)) ∧ (Q(y) ∨ (∃z)R(z)) ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✃Ù➭➣❝Ü✻✛✤❾Úí♥ü➂ 3 / 26