第二章：题透辑的竿值和推理演算21等值定理221基本的等值公式222若干常用的等值公式223置换狗2.4联结词6 命题逻辑的等值和推理演算 。推理形式和推理演算是数理逻辑研究的基本内容 ●推理过程是从前提出发，根据所规定的规则来推导出结论的过程 ●重言式是重要的逻辑规律，正确的推理形式，等值式都是重言式 。本章对命题等值和推理演算进行讨论，是以语义的观点进行的非形 式的描述，不仅直观且容易理解，也便于实际问题的逻辑描述和推 理。 ●严格的形式化的讨论见第三章所建立的公理系统。 刘肚利（上海交大CS实验室） 鹰数数学第二章：题逻辑的等值和推理演算 2166✶✓Ù➭➲❑Ü✻✛✤❾Úí♥ü➂ 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 ➲❑Ü✻✛✤❾Úí♥ü➂ í♥✴➟Úí♥ü➂➫ê♥Ü✻ï➘✛➘✢❙◆ í♥▲➜➫❧❝❏Ñ✉➜❾â↕✺➼✛✺❑✺í✓Ñ✭Ø✛▲➜ ➢ó➟➫➢❻✛Ü✻✺➷➜✔✭✛í♥✴➟➜✤❾➟Ñ➫➢ó➟ ✢Ùé➲❑✤❾Úí♥ü➂❄✶❄Ø➜➫➧❾➶✛✯✿❄✶✛➎✴ ➟✛↔ã➜Ø❂❺✯❹◆➫♥✮➜➃❇✉➣❙➥❑✛Ü✻↔ãÚí ♥✧ î❶✛✴➟③✛❄Ø❸✶♥Ù↕ïá✛ú♥❳Ú✧ ✹➅⑤ (þ➦✂➀-CIS➣✟➾) ❧Ñê➷✶✓Ù➭➲❑Ü✻✛✤❾Úí♥ü➂ 2 / 66