ch03命题逻辑的推理理论.pptVIP

第三章 命题逻辑的推理理论 主要内容 推理的形式结构 自然推理系统P推理的正确与错误 判断推理正确的方法 推理定律 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法 3.1 推理的形式结构 定义3.1 设A1, A2, …, Ak, B为命题公式. 若对于每组赋值，A1?A2?…? Ak 为假，或当A1?A2?…?Ak为真时，B也为真，则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确的, 并称B是有效结论. 3.1 推理的形式结构 注意: 推理正确不能保证结论一定正确 必须把推理的有效性和结论的真实性区别开。有效的推理不一定产生真实的结论，产生真实结论的推理过程未必一定是有效的。再说，有效的推理中可能包含假的前提；而无效的推理却可能包含真的前提。 3.1 推理的形式结构 可见，推理的有效性是一回事，前提与结论的真实与否是另一回事。所谓推理有效，指它的结论是它的前提的合乎逻辑的结果，也即，如果它的前提都为真，那么所得结论也必然为真，而并不是要求前提或结论一定为真或为假。如果推理是有效的话，那么不可能它的前提都为真时而它的结论为假。 推理的形式结构 2. A1?A2?…?Ak?B 若推理正确, 记为A1 ? A2 ? … ? Ak ? B 3. 前提： A1, A2, … , Ak 结论： B 判断推理是否正确的方法: 真值表法 等值演算法 主析取范式法 推理实例 例1 判断下面推理是否正确 (1) 若今天是1号，则明天是5号. 今天是1号. 所以, 明天是5号. (2) 若今天是1号，则明天是5号. 明天是5号. 所以, 今天是1号. 推理实例 (2) 推理的形式结构: 推理实例 例2 判断下面推理是否正确 如果小张和小王去看电影，则小李也去看电影。小赵不去看电影或小张去看电影。小王也去看电影。所以，当小赵去看电影时，小李必定也去。?  解：令?p:?小张去看电影；?q:?小王去看电影；?r:?小李去看电 影；?s:?小赵去看电影。? 　　推理的形式结构: 前提：?(p?∧?q)?→r,?┐s∨p,?q? 　　 结论：?s?→?r?  (?(p?∧?q)?→r) ∧ (?┐s∨p) ∧ ?q → (s?→?r) 推理定律——重言蕴涵式 1. A ? (A?B) 附加律 2. (A?B) ? A 化简律 3. (A?B)?A ? B 假言推理 4. (A?B)??B ? ?A 拒取式 5. (A?B)??B ? A 析取三段论 6. (A?B)?(B?C) ? (A?C) 假言三段论 7. (A?B)?(B?C) ? (A?C) 等价三段论 8. (A?B)?(C?D)?(A?C) ? (B?D) 构造性二难 (A?B)?(?A?B) ? B 构造性二难(特殊形式) 9. (A?B)?(C?D)?( ?B??D) ? (?A??C) 破坏性二难 每个等值式可产生两个推理定律 如, 由A???A可产生 A???A 和 ??A?A 自然推理系统简介 自然推理系统。与公理系统相对，是按照自然演绎思想构造的形式系统。其出发点是一些变形规则或推演规则，但没有公理。应用变形规则可以推出一些定理。 　　自然推理系统更接近于一般的数学思维，所以许多成熟的逻辑演算公理系统都有与之等价的自然推理系统。自然推理系统是在２０世纪３０年代第一次分别由甘岑和杰司柯夫斯基独立提出。自然推理系统主要是强调推理规则的重要性，通过对规则的应用可以从假设得出推断。 3.2 自然推理系统P 定义3.2 一个形式系统 I 由下面四个部分组成： (1) 非空的字母表，记作 A(I). (2