离散数学学习笔记----命题逻辑的推理理论

命题逻辑的推理理论

一些笔记：

判断推理是否正确，就是判断是否会出现1推出0的情况，如出现则推理错误，否则正确。

命题公式$A_1,A_2,...,A_k$推出B的推理正确当且仅当

$A_1\wedge A_2\wedge ...,\wedge A_k\to B$

为永真式。

判断推理是否正确的暴力方法，真值表法。

9条推理定律

附加律

$A\Rightarrow (A\vee B)$

化简律

$(A\wedge B)\Rightarrow A$

假言推理

$(A\to B)\wedge A\Rightarrow B$

拒取式

$(A\to B)\wedge \neg B\Rightarrow \neg A$

析取三段论

$(A\vee B)\wedge \neg B\Rightarrow A$

假言三段论

$(A\to B)\wedge (B\to C)\Rightarrow (A\to C)$

等价三段论

$(A\leftrightarrow B)\wedge (B\leftrightarrow C)\Rightarrow (A\leftrightarrow C)$

构造性二难

$(A\to B)\wedge (C\to D)\wedge (A\vee C)\Rightarrow (B\vee D)$

构造性二难（特殊形式）

$(A\to B)\wedge (\neg A\to B)\wedge (A\vee \neg A)\Rightarrow B$

破坏性二难

$(A\to B)\wedge (C\to D)\wedge (\neg B\vee \neg D)\Rightarrow (\neg A\vee \neg C)$

推理规则

除上面9条推理定律所推出来的规则外，还有

合取引入规则：

$\begin{array}{c}\mathbf{A}\\ \mathbf{B}\\ \therefore A\wedge \mathbf{B}\end{array}$

自然推理系统P

直接证明：就是通过前提加推理规则推出结论。

附加前提证明法：如结论中存在$A\to B$形式，可以将A作为前提来使用。

归谬法：将结论的否定作为条件，推出矛盾式，则推理正确。

消解证明法：将公式和结论的否定化成等值的合取范式，通过消解得到空式。除准备工作外，全程只能用前提引入以及消解两条规则。