数理逻辑小结4——PC定理补充证明

PC 命题逻辑系统相关定理

写在前面

我们首先拥有命题的概念，即判断一个句子为真或为假，随后通过对命题的符号化以及联结词的使用抽象了生活中的命题，构造出了符号化的复合命题。再往后，我们使用命题公式进一步抽象复合命题，递归地定义了命题公式的形式以及命题公式的值，并针对命题公式定义了诸多概念。可以发现，命题公式与命题是一一对应的，只是命题公式更加的数学化，便于数学处理。

另一方面，针对生活中的句子，我们也进行了数学化。我们定义了形式语言，即建立在给定字符集上的字符串，我们称之为形式语言。可是这样的字符串是毫无意义的，必须通过语法对字符串进行约束。而 PC 就是这样一个建立在字符集上的语言。我们定义了其字母表以及构成的语法，即什么样的字符串可以认为是 PC 中的语言，称每一条语句为一个公式。

在 PC 中，我们挑选了 3 种基础的公式形式（即 3 条公理），定义了推导的规则（即证明），可以通过这 3 条基本公理，以计算机能够处理的、字符串的形式来推导出若干较特殊的公式形式，我们称之为定理。定理与公理是 一种公式模板，代表了所有满足该类模板的 PC 公式的子集。比如公理形式为$A\to (B\to A)$ ，那么 $B\to (A\to B)$ 满足该形式， $(A\to B)\to ((A\to C)\to (A\to B))$ 也满足该公理形式。我们称这些模板，或满足这些模板的所有公式为公理或定理。

如果我们在 3 条公理（或公理模板）的基础上，给定公式集 $\Gamma$，定义类似的推导规则（即演绎），也可以得到若干 PC 中的公式，我们称这些公式为 $\Gamma$ 在 PC 中的演绎结果，这些公式都是在 $\Gamma$ 的基础上，通过模板形式的推导演绎得来的。

在上述定义基础上，我们根据 3 条公理推导出了 35 条基础定理，以方便我们的证明与推导。同时我们给出了 PC 命题演算形式系统（上述形式语言的全称）的定理（非上述定理模板）与性质。演绎定理、PC 的合理性、PC 的一致性、PC 的不完全性、PC 的完备性。

此外，不难发现，PC 中所有公式都满足命题公式的形式，因此 PC 中公式也满足命题公式的相关性质。

在该篇文章中，只记录课堂上 PC 的相关定理的证明。证明来源任世军老师课件以及课堂讲述内容。

PC 相关定义

定义1 公式集的一致性

设 $\Gamma$ 是 PC 的一个公式集，如果不存在 PC 的公式 $A$，使得 $\Gamma ⊢A$ 与 $\Gamma ⊢\neg A$ 同时成立，则称 $\Gamma$ 是一个一致的公式集。

定义2 公式集的完全性

设 $\Gamma$ 是 PC 的一个公式集，如果对任意的公式 $A$，$\Gamma ⊢A$ 或 $\Gamma ⊢\neg A$ 必有一个成立，则称 $\Gamma$ 是一个完备的公式集。

PC 相关定理

PC性质和定理	内容
演绎定理	对 PC 中任意公式集合 $\Gamma$ 和公式 $A$，$\Gamma ;A⊢B$ 当且仅当 $\Gamma ⊢A\to B$
PC 的合理性	对 PC 中任意公式集合 $\Gamma$ 和公式 $A$，如果 $\Gamma ⊢A$，则 $\Gamma \Rightarrow A$
PC 的一致性	不存在公式 $A$，使得 $A$ 和 $\neg A$ 都为 PC 中的定理
PC 的不完全性	存在公式 $A$，使得 $⊢\neg A$ 且 $⊢A$
PC 的完备性	对 PC 中任意公式集合 $\Gamma$ 和公式 $A$，如果 $\Gamma \Rightarrow A$，则 $\Gamma ⊢A$

定理1 演绎定理

对 PC 中任意公式集合 $\Gamma$ 和公式 $A$、$B$， Γ ∪ { A } ⊢ P C B \Gamma\cup\{A\}\vdash_{PC}B Γ∪{A}⊢PC​B 当且仅当 $\Gamma {⊢}_{PC}A\to B$

证明：

定义符号如下：
Γ ∪ { A } = d e f Γ ; A \Gamma\cup\{A\}\mathop{=}\limits^{def}\Gamma;A Γ∪{A}=defΓ;A

Γ ∪ { A , B , C } = d e f Γ ; A , B , C \Gamma\cup\{A,B,C\}\mathop{=}\limits^{def}\Gamma;A,B,C Γ∪{A,B,C}=defΓ;A,B,C

即证
$$\Gamma ;A⊢Biff\Gamma ⊢A\to B$$

• 充分性证明：已知 $\Gamma ⊢A\to B$，求证 $\Gamma ;A⊢B$

  可以在 $\Gamma ⊢A\to B$ 的演绎序列中添加 $A$，根据 $rmp$ 规则得到 $\Gamma ;A⊢B$

• 必要性证明：已知 $\Gamma ;A⊢B$，求证 $\Gamma ⊢A\to B$

  假设 $\Gamma ;A⊢B$ 对应的演绎序列为 $A_1,A_2,\cdots ,A_m$，根据数学归纳法进行证明

  1. 当 $m=1$ 时，该演绎序列中仅有 $B$，通过公理1或定理1易得 $\Gamma ⊢A\to B$
  2. 假设当 $m<n$ 时结论成立。当 $m=n$ 时，$\Gamma ;A⊢B$ 对应的演义序列为 $A_1,A_2,\cdots ,A_n(=B)$。
     • 当 $B$ 为公理、$\Gamma$ 中元素或 $B=A$ 时，根据公理1或定理1易得 $\Gamma ⊢A\to B$
     • 当 $B$ 为 $A_j$ 且 $j<n$ 时，根据归纳假设，易得 $\Gamma ⊢A\to B$
     • 当 $B$ 为根据 $rmp$ 分离出的公式时，假设 $\Gamma ;A⊢A_j$，$\Gamma ;A⊢A_j\to B$，其中 $j<n$，由归纳假设可得 $\Gamma ⊢A\to A_j$，$\Gamma ⊢A\to (A_j\to B)$，根据公理2易得 $\Gamma ⊢A\to B$

证明完毕

演绎定理的应用

例1，试证明 $⊢(A\to (B\to C))\to ((C\to D)\to (A\to (B\to D)))$

只需证 $A\to (B\to C)⊢(C\to D)\to (A\to (B\to D))$

只需证 $A\to (B\to C),C\to D⊢A\to (B\to D)$

只需证 $A\to (B\to C),C\to D,A⊢B\to D$

只需证 $A\to (B\to C),C\to D,A,B⊢D$

一直使用 $rmp$ 即可证明 $A\to (B\to C),C\to D,A,B⊢D$，从而 $⊢(A\to (B\to C))\to ((C\to D)\to (A\to (B\to D)))$ 得证

例2，试证明 $⊢((A\to B)\to (A\to C))\to (A\to (B\to C))$

只需证 $(A\to B)\to (A\to C)⊢A\to (B\to C)$

只需证 $(A\to B)\to (A\to C),A,B⊢C$

同样易证

定理2 PC的合理性

PC 是合理的，即对任意公式 $\Gamma$ 和公式 $A$，如果 $\Gamma ⊢A$，则 $\Gamma \Rightarrow A$。特别是如果 $A$ 为 PC 中的定理 $⊢A$，则 $A$ 永真。

证明：

设 $\Gamma ⊢A$ 对应的演绎序列为 $A_1,A_2,\cdots ,A_m(=A)$，针对 $m$ 应用数学归纳法。

1. 当 $m=1$ 时
   • $A$ 为公理，$A$ 为永真式，故有 $\Gamma \Rightarrow A$
   • $A\in \Gamma$，则显然有 $\Gamma \Rightarrow A$
2. 假设当 $m<n$ 时，定理2 成立，则当 $m=n$ 时
   • $A$ 为公理，显然
   • $A\in \Gamma$ 显然
   • $A=A_j$ 且 $j<n$，由归纳假设可知 $\Gamma \Rightarrow A$
   • $A_k=A_j\to A$ 且 $j<k<n$ （此处 $j$，$k$ 顺序可以颠倒），根据归纳假设有 $\Gamma \Rightarrow A_j$ 和 $\Gamma \Rightarrow A_j\to A$，建立方程 $A_j^v=(A_j\to A{)}^v=1$，展开求解可得 $A=1$ ，故有 $\Gamma \Rightarrow A$

定理3 PC 的一致性

PC 是一致的，即不存在 $A$，使得 $A$ 和 $\neg A$ 均为 PC 中的定理。

证明：

使用反证法进行证明。假设 $\exists A⊢Aand⊢\neg A$，由 PC 的合理性可知 $A$ 和 $\neg A$ 都为永真式，矛盾。

定理4 PC 的不完全性

PC 不是完全的，即存在公式 $A$，使得 $⊢A$，$⊢\neg A$ 均不能成立。

证明：

根据 PC 的合理性可知，PC 最多只能判断永真式和永假式，而对于其他式子无法进行判断。

实际上，PC 可以判断所有的永真式和永假式，这一点需要依靠 PC 的完备性定理

定理5 PC 的完备性

PC 是完备的，即对任意公式集合 $\Gamma$ 和公式 $A$，如果 $\Gamma \Rightarrow A$，那么 $\Gamma ⊢A$。特别地，如果 $\Rightarrow A$，即 $A$ 永真，那么 $⊢A$ 是 PC 中的一个定理。

要证明该定理，可以分为下方五个子命题进行求证。

命题1

如果 $\Gamma$ 一致，$\Gamma /⊢A$，那么 Γ ∪ { ¬ A } \Gamma\cup\{\neg A\} Γ∪{¬A} 也是一致的

证明：

假设 Γ ∪ { ¬ A } \Gamma\cup\{\neg A\} Γ∪{¬A} 不一致，则存在公式 $B $ 使得
Γ ∪ { ¬ A } ⊢ B Γ ∪ { ¬ A } ⊢ ¬ B \begin{aligned} &\Gamma\cup\{\neg A\}\vdash B\\ &\Gamma\cup\{\neg A\}\vdash \neg B\\ \end{aligned} ​Γ∪{¬A}⊢BΓ∪{¬A}⊢¬B​
由演绎定理可知
$$\begin{array}{rl}& \Gamma ⊢\neg A\to B\\ & \Gamma ⊢\neg A\to \neg B\end{array}$$
根据定理 16，易得 $\Gamma ⊢A$，与假设矛盾，证明完毕。

命题2

如果 $\Gamma$ 一致，$\Gamma ⊢A$，那么 Γ ∪ { A } \Gamma\cup\{A\} Γ∪{A} 也是一致的

证明：

与上述思路一致，证明略。

命题3

如果 $\Gamma$ 一致，那么存在公式集合 $\Delta$，使得 $\Gamma \subseteq \Delta$，$\Delta$ 是一致的并且 $\Delta$ 是完全的

证明：

1. 构造如下公式集 $\Delta$

   假设 $A_0,A_1,\cdots ,A_n,\cdots$ 是 PC 中所有公式，那么可构造如下公式集合序列

   1. ${\Delta }_0=\Gamma$

   2. Δ n + 1 = { Δ n ∪ { A n } i f    Δ n ⊢ A n Δ n ∪ { ¬ A n } i f    Δ n ⊬ A n \Delta_{n+1}= \begin{cases} \Delta_n\cup\{A_n\}\quad if\,\,\Delta_n\vdash A_n\\ \Delta_n\cup\{\neg A_n\}\quad if\,\,\Delta_n\not\vdash A_n \end{cases} Δn+1​={Δn​∪{An​}ifΔn​⊢An​Δn​∪{¬An​}ifΔn​​⊢An​​

   最后令 $\Delta =\underset{n\to \infty }{\lim }{\Delta }_n$

2. 证明 $\Delta$ 具有完全性

   对于 PC 中任意公式 $A_i$，若 ${\Delta }_i⊢A_i$，则 $\Delta ⊢A_i$，若 ${\Delta }_i/⊢A_i$，则 $\Delta ⊢\neg A_i$

3. 证明 $\Delta$ 具有一致性

   首先由命题1、2可知，任意 ${\Delta }_i$ 都是一致的，但无法确定 ${\Delta }_{\infty }$ 是否一致，因此采用无限化有限的思路。对于任意公式 $A$，若 $\Delta ⊢A$，则存在 ${\Delta }_n⊢A$。则对于 $A$ 和 $\neg A$，假设 $\Delta ⊢A$ 并且 $\Delta ⊢\neg A$，则有 ${\Delta }_n⊢A$ 且 ${\Delta }_m⊢\neg A$，取 k = m a x { n , m } k=max\{n,m\} k=max{n,m}，则易得 ${\Delta }_k⊢A$ 且 ${\Delta }_k⊢\neg A$，与 ${\Delta }_k$ 具有一致性矛盾

证明完毕

命题4

上面构造的公式集合 $\Delta$ 有如下性质，任意公式 $A$，$A\in \Delta$ 当且仅当 $\Delta ⊢A$

证明：

必要性显然，下证充分性，即若 $\Delta ⊢A$ 则 $A\in \Delta$

1. 存在 ${\Delta }_i$ 使得 ${\Delta }_i⊢A_j$
2. 若 $i\le j$，则 ${\Delta }_j⊢A_j$，那么 Δ j + 1 = Δ j ∪ { A j } \Delta_{j+1}=\Delta_j\cup\{A_j\} Δj+1​=Δj​∪{Aj​}，进而 $A\in \Delta$
3. 若 $i>j$，则 ${\Delta }_j⊢A_j$，否则 Δ j + 1 = Δ j ∪ { ¬ A j } \Delta_{j+1}=\Delta_j\cup\{\neg A_j\} Δj+1​=Δj​∪{¬Aj​}，进而 $\Delta ⊢\neg A_j$，与 $\Delta$ 的一致性矛盾。从而 $A\in \Delta$

命题5

设 $\Gamma$ 是 PC 的一致公式集合，那么存在一个指派 $\partial$，使得对任意公式 $A\in \Gamma$，都有 $A^{\partial }=1$

**证明：**设 $\Delta$ 为上述命题构造的公式集合，$\Gamma \subseteq \Delta$，$\Delta$ 一致且完全。定义映射 $\sigma$ 如下
$$A^{\sigma }=\{\begin{array}{ll}1& A\in \Delta \\ 0& A\notin \Delta \end{array}$$

1. $\Delta$ 一致且完全，因此对于任意公式 $A$，有 $\Delta ⊢A$ 或 $\Delta ⊢\neg A$，根据命题 4，得 $A\in \Delta \neg A\notin \Delta$ 或 $\neg A\in \Delta A\notin \Delta$。因此始终保证任意 $A$ 都有对应的映射值，且唯一。
2. 由 1 易知，$(\neg A{)}^{\sigma }=1-A^{\sigma }$，同样，根据映射的定义，可以推导得到 $(A\to B{)}^{\sigma }=1-A^{\sigma }+A^{\sigma }{B}^{\sigma }$。进而可以发现该映射与命题公式的指派含义相同。
3. 令 ${\sigma }^{\prime }=\sigma {|}_{Atom(L^p)}$，则对于 PC 中任意公式 $A$，都有 $A^{{\sigma }^{\prime }}=A^{\sigma }$。（此处老师未证明）

PC 完备性定理的证明：

回忆PC完备性定理，$A$ 为 PC 中公式，$\Gamma$ 为 PC 中公式集合，$\Gamma \Rightarrow A$，那么 $\Gamma ⊢A$。如果 $\Gamma$ 不一致，则 $\Gamma $ 可以演绎 PC 中所有公式，故有 $\Gamma ⊢A$（使用定理 9 和定理 11）。如果 $\Gamma$ 一致，假设 $\Gamma /⊢A$，则 $\Gamma ;\neg A$ 也一致，由命题 5 可知，存在指派 $\partial$ 弄真 $\Gamma ;\neg A$ 中所有公式，则该指派弄真 $\Gamma$ 但弄假 $\neg A$，矛盾。

定理6 公式集的一致性和可满足性

PC 的公式集合 $\Gamma$ 是一致的当且仅当它是可满足的。