第二盒：题逻辑的竿值和推理演算2.1等值定理221基本的等值公式222若干常用的等值公式223置换规则2.4联结词6 等值定理 ●给定两个命题公式A和B,而P1,P2,·,Pn是出现于A和B中的所有命 题变项，那么公式A和B共有2"个解释，若对其中的任一解释，公 式A和B的真值都相等，就称A和B是等值的（或等价的）。记 作A=B或A台B。 。等值定理对于公式A和B,A=B的充要条件是A一B是重言式 。根据真值表可以判明任何两个公式是否是等值的 刘肚利（上海变大CS实监室） 鹰数数学第二章：避逻辑的等值和推理演算 3166✶✓Ù➭➲❑Ü✻✛✤❾Úí♥ü➂ 2.1 ✤❾➼♥ 2.2.1 ➘✢✛✤❾ú➟ 2.2.2 ❡❩⑦❫✛✤❾ú➟ 2.2.3 ➌❺✺❑ 2.4 é✭❝✛✑✗✽ 2.4.2 é✭❝✛✑✗✽ 2.5 éó➟ 2.6 ❽➟❺❒❽➟ 2.6.2 ❒❽➟↔❒Û✒❽➟Ú❒Ü✒❽➟↕ ✹➀➅❺❒Ü✒❽➟ ❒❽➟✛❆❫ ❒Û✒❽➟Ú❒Ü✒❽➟♠✛❷♣❂❺ í♥✴➟ ➘✢✛í♥ú➟ í♥ü➂ ✽✭í♥④ ❾➆ Logic Puzzles ✤❾➼♥ ❽➼ü❻➲❑ú➟AÚB, ✌P1, P2, · · · , Pn➫Ñ②✉AÚB➙✛↕❦➲ ❑❈➅, ❅♦ú➟AÚB✁❦2 n❻✮➸, ❡éÙ➙✛❄➌✮➸, ú ➟AÚB✛ý❾Ñ❷✤, Ò→AÚB➫✤❾✛(➼✤❞✛)✧P ❾A = B➼A ⇔ B✧ ✤❾➼♥ é✉ú➟AÚB➜A = B✛➾❻❫❻➫A ↔ B➫➢ó➟✧ ❾âý❾▲➀➧✞➨❄Ûü❻ú➟➫➘➫✤❾✛✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✓Ù➭➲❑Ü✻✛✤❾Úí♥ü➂ 3 / 66