逻辑学引论.PDFVIP

逻辑学引论 Introduction to Logic 华东师范大学数学系 羊丹平                           命题逻辑-推理理论 6 论证的有效性即为推理模式的有效性。有效推理是论证可靠性的中心问题。第 五章给出了判别推理有效性的许多方法。如何建立一个有效的论证，在独立和创新 思维中占有更加重要的地位。人们不仅需要理解别人的思想和观点是否正确，更需 要正确地思考和阐述个人的思想和观点。后者需要掌握有效推理的方法和理论，在 其指导下进行准确的思维，最终产生有效的论证。推理是数理逻辑研究的中心问 题。命题逻辑是关于复合命题和复合推理的逻辑分支。本章介绍命题逻辑的推理理 论。本章分为两个部分。第一部分给出基本复合推理。在这一部分，讨论一些基本 的和常用的有效推理模式。第二部分建立自然推理系统。 6.1 推理的形式结构 推理 推理是一个有限的命题公式系列，其中一个命题公式 B 称为结论，其余 命题公式组成的公式集合称为前提，记为：={A ,A , ,A } 。由 得B 称为一个 1 2 k 推理。 B B 有效性 设A ,A , ,A 和 都是命题公式。若对A ,A , ,A 和 中出现的命 1 2 k 1 2 k 题变元的任意一组赋值，或者A A A 为 0，或者当A A A 取值 1 2 k 1 2 k 为 1 时B 也取值为 1，则称由前提A , A , , A 推出结论B 的推理是有效的或正确 1 2 k B 的。并称 是有效的结论。 推理的形式结构 由 得 B 的推理记为：B 或{A ,A ,,A }B ，称为该