逻辑学学习.6---命题逻辑（四）：推演的简单规则.pdfVIP

逻辑学学习.6命题逻辑 （四） ：推演的简单规则 前⾯开头就说过，逻辑学是⼀门以推论为 要研究对象的学科。⼀个推论的有效性取决于它的推论形式，⽽不取决于它的具体内容。 如何 确定⼀个推论或推论形式是否有效是演绎逻辑所要研究的核⼼问题。 前⾯讲了真值表⽅法，在命题逻辑中，判断命题推论的有效性的⽅法，其中之⼀是真值表⽅法，除了真值表⽅法外，还有⼀种很常⽤的⽅法 就是演绎。 推演⽅法的实质就是将⼀个复杂推论分解为若⼲简单推论。由于这些简单推论的有效性很明显，那么，那个复杂推论的有效性也就被确⽴了 起来。如果我们把某些简单推论作为推演规则，那么我们就可以根据这些规则，从给定的前提⼀步⼀步地推出所需要的结论。这种⽅法称之 为 “⾃然演绎”或者 “⾃然推论”。 ” ⾃然演绎系统 “就是以⼀组推演规则为基础的。⾄于把哪些简单推论作为推演规则，不同的⾃然演绎系统有不同的选择。 这⾥介绍的有 “⼋条整推规则”， “⼗条置换规则”，以及 “条件证明⽅法”， “间接证明⽅法”。 值得注意的是，⽆论是 “⾃然演绎 “⽅法还是”真值表 “⽅法，它们的⽬的是⼀样的，都是为了检验⼀个命题推论的有效性。⽽且，在证明 命题推论的有效性上，⾃然演绎⽅法和真值表⽅法的结果是⼀致的。 ⼀， ⼋条整推规则