第四章真值函项逻辑（2).pptVIP

三、等值规则 10条4组等值规则 第2组： 双重否定规则（Double Negation，简称DN） p???p 2. 假言易位规则（Contrposition，简称CP） (p?q)?(?q??p) 第三章 直言命题逻辑 共159页 * 第四节 形式演绎 三、等值规则 10条4组等值规则 第3组： 1. 交换律（commutation，简称COM） (p?q)?(q?p) (p?q)?(q?p) 2. 结合律（Association，简称AS） (p?(q?r))?((p?q)?r) (p?(q?r))?((p?q)?r) 第三章 直言命题逻辑 共159页 * 第四节 形式演绎 三、等值规则 10条4组等值规则 第4组： 1. 分配律（Distribution)，简称DIS） (p?(q?r))?((p?q)?(p?r)) (p?(q?r))?((p?q)?(p?r)) 2. 德摩根律（De Morgan’s Laws，简称DM或DeM） ?(p?q)?(?p??q) ?(p?q)?(?p??q) 3. 输出规则（Exportation, 简称EXP） ((p?q)?r)?(p?(q?r)) 第三章 直言命题逻辑 共159页 * 第四节 形式演绎 三、等值规则 思考题 指出下列从前提到结论过程的等值规则。 第三章 直言命题逻辑 共159页 * 第四节 形式演绎 (1) A?(B?C) ?(B?C)??A (2) (A?B)?(?C?D) (A?B)?(D??C) (3) X?(X?Y) (X?X)?Y (4) K??(L??M) K?(?L???M) (5) (J?(K?L))?(J?(K?L)) J?(K?L) (6) (E?F)?(?G?D) (E?F)?((D??G)? (?G?D)) 四、重言规则 在形式演绎中，任何时候都可以使用下列8条重言式来形成一个新行。 既然重言式是指一个必然真的命题，那么，在形式演绎中插入一个重言式的替换事例就不会改变有效性证明。 为了简便起见，我们把这条规则缩写为“TAUT”。 要注意，重言式后面不伴有行号，因为重言式是被插入到演绎中的，而不是从前面行演绎出来的。 第三章 直言命题逻辑 共159页 * 第四节 形式演绎 四、重言规则 第三章 直言命题逻辑 共159页 * 第四节 形式演绎 序号 1 2 3 4 5 6 7 8 重言规则 替换事例 p??p (A?B)??(A?B) 1. 排中律 p?p (G?E)? (G?E) 2. 同一律 ?(p??p) ?(C??C) 3. 矛盾律 p?(p?q) ?F?(?F?D) (p??p)?q ((X?Y)??(X?Y))?W p?p (K?J)? (K?J) p?(q??q) (A?B)?(?C???C) (p?q)?p (?U??W)??U 思考题 根据前面所讲的三种真值函项原则，标出下列论证的前提并给出不是前提的每一步的证成。 第三章 直言命题逻辑 共159页 * 第四节 形式演绎 （1） (K?L)?J J?K J?(K?L) (J?K)?(J?L) J?L ??J?L ?J?L ?L??J ?L?L ??L?L L?L L 思考题 根据前面所讲的三种真值函项原则，标出下列论证的前提并给出不是前提的每一步的证成。 第三章 直言命题逻辑 共159页 * 第四节 形式演绎 （2） (A?(B?C))?(?(D?B)?A) (A?(B?C))?(?A???(D?B)) (A?(B?C))?(?A?(D?B)) A?(B?C) ?A?(D?B) ?A?A (B?C)?(D?B) (B?C)?(B?D) (B?(C?D) B 目录 第一章 引论 第二章 论证 第三章 直言命题逻辑 第四章 真值函项逻辑 第五章 量化逻辑 第六章 归纳逻辑 第七章 论证评价与谬误 主要参考文献 关键术语与人名中英文对照 复合命题论证 真值函项 真值表 形式演绎 间接证明与简便证明 逻辑与计算机 第三章 直言命题逻辑 共159页 * 从前提根据有效论证的基本形式直接演绎出结论，这种证明论证有效性的方法被称为直接证明方法或直接方法。 本节我们将讨论一种证明论证有效的间接证明方法或间接方法。 在此，我们还将介绍一种证明论证无效的简便方法。 第三章 直言命题逻辑 共159页 * 第五节 间接证明与简便证明 一、证明有效的间接方法