竿值式 否定型等值式 量词分配等值式 范式-前京范式及Skolem标准形 基本的推理公式 推理演算 作型 0000 000 000000000 等值式 ●如果两个谓词公式A和B在任一解释下都有相同的真值，称它们 是等值的： 。A和B停值当且仅当A一是普遍有效的公式，记作A=B或A一 B 刘胜利（上海交大-CS实验室） 鹰数数学第五章：谓词逻辑的等值和推理演算 2/26✤❾➟ ➘➼✳✤❾➟ þ❝➞✛✤❾➟ ❽➟–❝å❽➟✾Skolem■❖✴ ➘✢✛í♥ú➟ í♥ü➂ ❾➆ ✤❾➟ ❳❏ü❻➣❝ú➟AÚB✸❄➌✮➸❡Ñ❦❷Ó✛ý❾➜→➜❶ ➫✤❾✛➯ AÚB✤❾✟❹❂✟A ↔ B➫✃❍❦✟✛ú➟➜P❾A = B➼A ⇔ B✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✃Ù➭➣❝Ü✻✛✤❾Úí♥ü➂ 2 / 26