4.3 公理系统

第四章 数理逻辑

全文均为手敲，如果发现有误，请于评论区交流讨论留言，作者会及时修改

4.3 公理系统

1. 命题逻辑的公理系统

   （1）符号

   （2）公式

   （3）公理

   $$\begin{array}{rlr}& A\to (B\to A)& {\mathcal{A}}_1\\ & (A\to (B\to C))\to ((A\to B)\to (A\to C))& {\mathcal{A}}_2\\ & (┐A\to ┐B)\to (B\to A)& {\mathcal{A}}_3\end{array}$$

   （4）推理规则

   $$MP规则:从A和A\to B推出B$$

2. 谓词逻辑的公理系统

   （1）符号

   （2）项和公式

   （3）公理

   $$\begin{array}{rlr}& A\to (B\to A)& {\mathcal{A}}_1\\ & (A\to (B\to C))\to ((A\to B)\to (A\to C))& {\mathcal{A}}_2\\ & (┐A\to ┐B)\to (B\to A)& {\mathcal{A}}_3\\ & \forall x_{i}A\to A_t^{x^i},其中项t对于A中的x_i可代入& {\mathcal{A}}_4\\ & \forall x_i(A\to B)\to (A\to \forall x_{i}B),其中x_i不是A的自由变元& {\mathcal{A}}_5\end{array}$$

   （4）推理规则

   $$\begin{array}{rl}& MP规则:从A和A\to B推出B\\ & UG规则:从A推出\forall x_{i}A\end{array}$$

3. 协调性

   当公理系统可靠且完备时，如果对于每个公式$A$，$\Gamma ⊢A$，则称公式集$\Gamma$是不协调的，否则称$\Gamma$是协调的。

   $\Gamma$协调，当且仅当$\Gamma$可满足。

4. 可靠性

   可靠性定理：若$\Gamma ⊢A$，则$\Gamma \models A$。

   公理系统可靠，当且仅当公理系统满足可靠性定理。

5. 完备性

   完备性定理：若$\Gamma \models A$，则$\Gamma ⊢A$。

   公理系统完备，当且仅当公理系统满足完备性定理。

6. 紧致性定理

   第一种形式：若$\Gamma \models A$，则有$\Gamma$的有穷子集${\Gamma }_1$，使得${\Gamma }_1\models A$。

   第二种形式：若$\Gamma$不可满足，则有$\Gamma$的有穷子集不可满足。

   紧致性定理是一阶逻辑的重要性质，对于二阶逻辑，紧致性定理不再成立。