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

前面开头就说过，逻辑学是一门以推论为主要研究对象的学科。一个推论的有效性取决于它的推论形式，而不取决于它的具体内容。 如何确定一个推论或推论形式是否有效是演绎逻辑所要研究的核心问题。

前面讲了真值表方法，在命题逻辑中，判断命题推论的有效性的方法，其中之一是真值表方法，除了真值表方法外，还有一种很常用的方法就是演绎。

推演方法的实质就是将一个复杂推论分解为若干简单推论。由于这些简单推论的有效性很明显，那么，那个复杂推论的有效性也就被确立了起来。如果我们把某些简单推论作为推演规则，那么我们就可以根据这些规则，从给定的前提一步一步地推出所需要的结论。这种方法称之为“自然演绎”或者“自然推论”。

”自然演绎系统“就是以一组推演规则为基础的。至于把哪些简单推论作为推演规则，不同的自然演绎系统有不同的选择。

这里介绍的有“八条整推规则”，“十条置换规则”，以及“条件证明方法”，“间接证明方法”。

值得注意的是，无论是“自然演绎“方法还是”真值表“方法，它们的目的是一样的，都是为了检验一个命题推论的有效性。而且，在证明命题推论的有效性上，自然演绎方法和真值表方法的结果是一致的。

一， 八条整推规则

• 1.肯定前件
  P→Q
  P
  ∴Q

• 2.否定后件
  P→Q
  ¬Q
  ∴¬P

• 3.否定析取支
  P∨Q
  ¬P
  ∴Q
  和
  P∨Q
  ¬Q
  ∴P

• 4.合取
  P
  Q
  ∴P∧Q

• 5.化简
  P∧Q
  ∴P
  和
  P∧Q
  ∴Q

• 6.附加
  P
  ∴ P∨Q
  和
  Q
  ∴ P∨Q

• 7.假言三段论
  P→Q
  Q→R
  ∴P→R

• 8.二难推论
  P→Q
  R→S
  P∨R
  ∴ Q∨S

二， 十条置换规则

• 1.交换
  P∨Q→Q∨P
  P∧Q→Q∧P

• 2.双否
  P↔¬¬P

• 3.德摩根律
  ¬(P∨Q)↔¬P∧¬Q
  ¬(P∧Q)↔¬P∨¬Q
  例
  P：明天刮风
  Q：明天下雨

• 4.假言易位
  (P→Q)↔(¬Q→¬P)

  例：
  P：一个数大于5
  Q：它大于3
  如果一个数大于5，那么它大于3
  如果一个数不大于3，那么它不大于5

• 5.蕴含
  (P→Q)↔(¬P∨Q)
  例：
  P：你离开我
  Q：我就死
  如果你离开我，那么我就死
  要么你别离开我，要么我死

• 6.重言
  P↔P∨P
  P↔P∧P

• 7.结合
  P∨(Q∨R) ↔ (P∨Q)∨R
  P∧(Q∧R) ↔ (P∧Q)∧R

• 8.分配
  P∨(Q∧R) ↔ (P∨Q)∧(P∨R)
  P∧(Q∨R) ↔ (P∧Q)∨(P∧R)

• 9.移出
  (P∧Q→R) ↔ (P→(Q→R))
  例：
  P：明天刮风
  Q：明天下雨
  R：明天降温
  “如果明天刮风并且下雨，那么明天降温”
  ↔ "如果明天刮风，那么如果明天下雨，那么明天降温

• 10.等值
  (P↔Q)↔(P→Q) ∧ (Q→P)

三， 条件证明

对于那些结论为蕴含式的推论，可以用条件证明规则。
把结论P→Q的前件 P 作为假设，假设前件成立 ，将前件和前提条件共同作为已知条件，推出结论。

Pr 　　　　　　　　前提
$\{\begin{array}{cc}P& \\ ..& \\ ..& \\ Q& \end{array}$
∴ P→Q 结论

四， 间接证明

条件证明是用来证明那些结论是蕴含式的推论。那么对于结论非蕴含式的推论，不能使用条件证明，这种情况要使用间接证明。
间接证明其实就是反正法，假设结论不成立，然后推出矛盾。反证结论成立。

Pr 　　　　　　　　前提
$\{\begin{array}{cc}\neg P& \\ ..& \\ ..& \\ Q\wedge \neg Q& \end{array}$
∴ P 　　　　 既然从¬P推出矛盾，反证结论命题P 成立

参考资料

《自然演绎逻辑导论》 陈晓平