离散数学知识点总结（6）：自然推理系统；13 个推理规则； 如何使用推理规则

自然推理系统的定义

13个推理规则

Note： 国外课本《离散数学及其应用中的表格》

如何在自然推理系统中构造有效论证的方法

直接证明法

• 由前提利用推理规则直接推出结论

附加前提证明法（cp规则）

• 如果结论是一个蕴含式，那么可以把蕴含式的前提移动到整个式子的前提中作为一个附加前提。
  Example
  想证明：$A_1\wedge A_2\wedge ...A_n\models C\to B$
  相当于证明：$A_1\wedge A_2\wedge ...A_n\wedge C\models B$
  原因是：
  

反证法 / 归谬法（Proofs by Contradiciton）

• 要证明：$A_1\wedge A_2\wedge ...A_n\models B$
• 就要证明：$A_1\wedge A_2\wedge ...A_n\wedge \neg B\models \perp$
• 即：在前提中加入 $\neg B$ 推出矛盾
• 因为：
  

对位证明（Proofs by contraposition）

• 证明逆否命题是正确的

举例

直接证明法举例

附加前提法举例

归谬法举例