（《机器学习》完整版系列）第15章 规则学习——15.2 形式推理（哥德尔怎么说？）

平时我们说的“三段式”推理就是形式推理.
命题逻辑体系具有可靠性和完备性，而规则又有利于机器实现，这就能实现机器自动化证明。 不幸的是，数学家哥德尔证明了不完全性定理：任何形式推理系统中总存在不能证真也不能证伪的命题。

形式推理

平时我们说的“三段式”推理就是形式推理，形式推理记为
$$\begin{array}{r}\Sigma ⊢p\end{array}\text{\hspace{1em}(15.8)}$$
式(15.8)是指当且仅当能通过有限次使用命题逻辑体系中的规则由$\Sigma$得到$p$。 此过程即为对$p$的形式证明，平时我们常用$\Sigma \Rightarrow p$替代式(15.8)。

命题逻辑体系由一套命题逻辑规则组成，且它具有可靠性（推导出来的是“真的”）和完备性（是“真的”都能推出），命题逻辑中有许多自成体系的形式推理体系，例如，定义如下“十一条规则”即可形成一套命题逻辑的形式推理体系：

i.自反：$A⊢A$

ii.增加前提：如果$\Sigma ⊢A$，则$\Sigma ,{\Sigma }^{\prime }⊢A$

iii.消去$\neg$：如果$\Sigma ,\neg A⊢B\text{ and }\Sigma ,\neg A⊢\neg B$，则$\Sigma ⊢A$

iv.消去$\to$：如果$\Sigma ⊢A\to B\text{ and }\Sigma ⊢\neg A$，则$\Sigma ⊢B$

v.引入$\to$：如果$\Sigma ,A⊢B$，则$\Sigma ⊢A\to B$

vi.消去$\wedge$：如果$\Sigma ⊢A\wedge B$，则$\Sigma ⊢A\text{ and }\Sigma ⊢B$

vii.引入$\wedge$：如果$\Sigma ⊢A\text{ and }\Sigma ⊢B$，则$\Sigma ⊢A\wedge B$

viii.引入$\vee$：如果$\Sigma ,A⊢C\text{ and }\Sigma ,B⊢C$，则$\Sigma ,A\vee B⊢C$

ix.引入$\vee$：如果$\Sigma ⊢A$，则$\Sigma ⊢A\vee B\text{ and }\Sigma ⊢B\vee A$

x.消去$\leftrightarrow$：如果$\Sigma ⊢A\leftrightarrow B\text{ and }\Sigma ⊢A$，则$\Sigma ⊢B$；

\quad 如果$\Sigma ⊢A\leftrightarrow B\text{ and }\Sigma ⊢B$，则$\Sigma ⊢A$；

xi.引入$\leftrightarrow$：如果$\Sigma ,A⊢B\text{ and }\Sigma ,B⊢A$，则$\Sigma ⊢A\leftrightarrow B$

命题逻辑体系具有可靠性和完备性，而规则又有利于机器实现，这就能实现机器自动化证明。 不幸的是，数学家哥德尔证明了不完全性定理：任何形式推理系统中总存在不能证真也不能证伪的命题。

本文为原创，您可以：

• 点赞（支持博主）
• 收藏（待以后看）
• 转发（他考研或学习，正需要）
• 评论（或讨论）
• 引用（支持原创）
• 不侵权

上一篇：15.1 命题规则（逻辑学、布尔表达）
下一篇：15.3 归结与逆归结（你可知“反证法”原理？）