命题逻辑＜4＞——命题演算形式系统PC

$\S 4$ 命题演算形式系统$\mathsf{PC}$

形式系统的定义

定义4.1 形式系统

若一个符号系统$I$由以下4部分组成:

1. 字母表$\Sigma \ne \varnothing$
2. $\Sigma \ne \varnothing$中符号构造的合式公式集$E\left(I\right)$
3. 公理集$E_x\left(I\right)\subset E\left(I\right)$
4. 推理规则集$R\left(I\right)$

则称符合条件的符号系统为形式系统,系统内的概念和命题高度符号化,推理过程同构于对符号串进行变形的过程。形式系统$I$记为四元组$⟨\Sigma ,E\left(I\right),E_x\left(I\right),R\left(I\right)⟩$,$⟨\Sigma ,E\left(I\right)⟩$称为形式语言系统,$⟨E_x\left(I\right),R\left(I\right)⟩$称为形式演算系统。
公理指形式系统中一些被定义为形式系统基础的重言式,推理规则指保证从公理或已知的重言式出发,能推导出新的重言式的规则。

定义4.2 证明 演绎

公式序列$⟨A_1,A_2,\cdots ,A_i,\cdots ,A_m⟩$称为公式$A_m$的一个证明,若其中所有的$A_i(i\in {\mathbb{N}}^{+},1\le i\le n)$满足以下任何条件之一:

1. $A_i$是公理;
2. $A_i$是公式序列$⟨A_{j_1},A_{j_2},\cdots ,A_{j_k}⟩(j_1\le j_2\le \cdots \le j_k<i)$根据推理规则导出的重言式。

则称$A_m$为定理,记为${⊢}^S{A}_m$,简写为$⊢A_m$,$S$代表形式系统的名称。
若存在公式集合$\Gamma$,使得公式序列$⟨A_1,A_2,\cdots ,A_i,\cdots ,A_m⟩$成为公式$A_m$的一个演绎,且其中所有的$A_i(i\in {\mathbb{N}}^{+},1\le i\le n)$满足以下任何条件之一:

1. $A_i\in \Gamma$;
2. $A_i$是公理;
3. $A_i$是公式序列$⟨A_{j_1},A_{j_2},\cdots ,A_{j_k}⟩(j_1\le j_2\le \cdots \le j_k<i)$根据推理规则导出的重言式。

则称$A_m$为$\Gamma$的逻辑结果,记为$\Gamma {⊢}^S{A}_m$,简写为$\Gamma ⊢A_m$,$S$代表形式系统的名称,$\Gamma$和$\Gamma$的成员称为$A_m$的前提,证明是$\Gamma =\varnothing$时演绎的退化形式。
关于演绎,可以用福尔摩斯调查案件的实例说明,福尔摩斯从苏格兰场获得的一手资料,如尸检报告,案发地点,死者身份,案发现场等视为公理,福尔摩斯所处时代的科学理论视为推理规则,而福尔摩斯通过检查现场痕迹,走访案发地点,询问证人,分析嫌疑,求助公务部门等一些活动获得的新证据视为$\Gamma$,探案过程不只需要公理和推理规则,还需要新的外部证据,才能完成破获凶手的演绎。

定义4.3 自然推理形式系统$\mathsf{P}$

若形式系统从任意给定前提出发,有限步内引用推理规则得出推理结论(正确性依赖于前提),称为自然推理形式系统$\mathsf{P}$。

定义4.4 理论 扩充

形式系统$S$的理论指集合 T h ( S ) = { A ∣ ⊢ S A } Th\left ( \mathsf{S} \right )=\left \{ A\mid \vdash _{\mathsf{S} } A \right \} Th(S)={A∣⊢S​A},形式系统$S$基于任意的公式集合$\Gamma$的扩充指集合 T h ( S ∪ Γ ) = { A ∣ Γ ⊢ S A } Th\left ( \mathsf{S} \cup \Gamma \right )=\left \{ A\mid \Gamma \vdash _{\mathsf{S} } A \right \} Th(S∪Γ)={A∣Γ⊢S​A}。

形式系统的性质

定义4.5 合理性

对形式系统中任意的公式集合$\Gamma$和公式$A$,若$\Gamma ⊢A$,则$\Gamma \Rightarrow A$,特别地,$\Gamma =\varnothing$时,若 $⊢A$,则$\Rightarrow A$,则称形式系统具有合理性。

定义4.6 一致性

若形式系统中不存在公式$A$,使得$\Gamma ⊢A$与$\Gamma ⊢\neg A$同时成立,则称形式系统具有一致性。

定义4.7 完备性

对形式系统中任意的公式集合$\Gamma$和公式$A$,若$\Gamma \Rightarrow A$,则$\Gamma ⊢A$,特别地,$\Gamma =\varnothing$时,若 $\Rightarrow A$,则$⊢A$,则称形式系统具有完备性。

定义4.8 紧致性

对于形式系统的任意的公式集合$\Gamma$,若$\Gamma$的任意子集可满足,则$\Gamma$也是可满足的,则称形式系统具有紧致性。

定义4.9 完全性

对于形式系统的任意的公式集合$\Gamma$,若对于任意公式$A$,$\Gamma ⊢A$和$\Gamma ⊢\neg A$必有一个成立,则称$\Gamma$是一个完全公式集。

命题演算形式系统$\mathsf{PC}$

定义4.9 命题演算形式系统$\mathsf{PC}$

若一个形式系统的字母表$\Sigma$由逻辑联结词 { ¬ , → } \left \{ \neg ,\to \right \} {¬,→},逗号,括号和命题变元组成,且具有以下公理模式:

1. $A1.A\to \left(B\to A\right)$
2. $A2.\left(A\to \left(B\to C\right)\right)\to \left(\left(A\to B\right)\to \left(A\to C\right)\right)$
3. $A3.\left(\neg A\to \neg B\right)\to \left(B\to A\right)$。

以及推理规则:

1. 分离规则$r_{mp}.A,A\to B/B$

则称为命题演算形式系统$\mathsf{PC}$。

定理4.1 演绎定理

充分性
已知存在以$\Gamma$为前提的演绎过程$⟨A_1,A_2,\cdots ,A_i,\cdots ,A\to B⟩$,在序列末尾加入新公式$A$,$B$,利用分离规则得到以 Γ ∪ { A } \Gamma\cup \left \{ A \right \} Γ∪{A}(简写为$\Gamma ;A$)为前提的$B$的演绎过程$⟨A_1,A_2,\cdots ,A_i,\cdots ,A,B⟩$。
必要性
结构归纳法:对演绎序列的长度$m$进行归纳:
$n=1$时,以 Γ ∪ { A } \Gamma\cup \left \{ A \right \} Γ∪{A}为前提的演绎序列中只有一个公式$B$,则有以下三种对$B$的分类:

1. $B$是公理
2. $B$属于假设$\Gamma$
3. $B=A$

当$B$是公理或$B$属于假设$\Gamma$时,可通过公理1:$A\to \left(A\to B\right)$和分离规则$A,A\to \left(A\to B\right)/A\to B$得到$A\to B$;
当$A=A$时,将问题转化为$\Gamma ⊢A\to A$,即$⊢A\to A$。
$A\to A$的构造方式如下:
$$\begin{array}{lcc}(1)& A\to \left(\left(A\to A\right)\to A\right)& A1\\ (2)& \left(A\to \left(\left(A\to A\right)\to A\right)\right)\to \left(\left(A\to \left(A\to A\right)\right)\to \left(A\to A\right)\right)& A2\\ (3)& \left(A\to \left(A\to A\right)\right)\to \left(A\to A\right)& r_{mp}(1)(2)\\ (4)& \left(A\to \left(A\to A\right)\right)& A1\\ (5)& A\to A& r_{mp}(3)(4)\end{array}$$
设序列长度小于$n$时均成立,$m=n$时,则有以下四种对$B$的分类:

1. $B$是公理
2. $B$属于假设$\Gamma$
3. $B=A_i$
4. $B$能从$A_j$和$A_k$通过分离规则导出

当$B$是公理或$B$属于假设$\Gamma$时,可通过公理1:$A\to \left(A\to B\right)$和分离规则$A,A\to \left(B\to A\right)/A\to B$得到$A\to B$;
当$B=A_i$时,$A_i$的证明序列长度小于$k$,由归纳假设, Γ ∪ { A } ⊢ P C A i ⇒ Γ ⊢ P C A → A i \Gamma \cup \left \{ A \right \} \vdash _{\mathsf{PC} } A_{i}\Rightarrow \Gamma \vdash _{\mathsf{PC} } A\to A_{i} Γ∪{A}⊢PC​Ai​⇒Γ⊢PC​A→Ai​;
当 $B$能从$A_j$和$A_k$通过分离规则导出时,不妨设$A_k=A_j\to B$,已知$A_j$,$A_k$的证明序列长度小于$n$,由归纳假设, Γ ∪ { A } ⊢ P C A j ⇒ Γ ⊢ P C A → A j \Gamma \cup \left \{ A \right \} \vdash _{\mathsf{PC} } A_{j}\Rightarrow \Gamma \vdash _{\mathsf{PC} } A\to A_{j} Γ∪{A}⊢PC​Aj​⇒Γ⊢PC​A→Aj​, Γ ∪ { A } ⊢ P C A j → A ⇒ Γ ⊢ P C A → ( A j → B ) \Gamma \cup \left \{ A \right \} \vdash _{\mathsf{PC} } A_{j}\to A \Rightarrow \Gamma \vdash _{\mathsf{PC} } A\to \left ( A_{j}\to B \right ) Γ∪{A}⊢PC​Aj​→A⇒Γ⊢PC​A→(Aj​→B);
引用公理2:$\left(A\to \left(A_j\to B\right)\right)\to \left(\left(A\to A_j\right)\to \left(A\to B\right)\right)$并连续运用分离规则,得到一个以$\Gamma$为前提对$A\to B$的演绎过程$\Gamma ⊢A\to B$。

定理4.2 $\mathsf{PC}$的合理性

对$\mathsf{PC}$中任意的公式集合$\Gamma$和公式$A$,若$\Gamma ⊢A$,则$\Gamma \Rightarrow A$,特别地,$\Gamma =\varnothing$时,若 $⊢A$,则$\Rightarrow A$,则称形式系统具有合理性。
结构归纳法,对演绎序列的长度$m$进行归纳,设指派$\alpha$是$\Gamma$中所有公式的成真指派,设$\Gamma ⊢A$的演绎序列为$⟨A_1,A_2,\cdots ,A_m=A⟩$,
$m=1$时,若$A$为公理,根据公理的永真性,$\Rightarrow A$;
若$A\in \Gamma$,则$\Gamma \Rightarrow A$;
以上情况均有$\alpha \left(A\right)=1$;
设$m<k$时假设都成立,当$m=k$时,
$A_k=A$,若$A_k$为公理或$A\in \Gamma$,则$\Rightarrow A$,$\alpha \left(A\right)=1$;
若$A_k=A_i\left(i\in {\mathbb{N}}^{+},i<k\right)$,则根据公理的永真性和归纳假设,$\alpha \left(A\right)=\alpha \left(A_i\right)=1$;
若$A_k=A$可以通过$A_i$,$A_j\left(i,j\in {\mathbb{N}}^{+},i,j<k\right)$通过分离规则导出,由归纳假设$\alpha \left(A_i\right)=\alpha \left(A_j\right)=1$,由分离规则的保真性,$\alpha \left(A\right)=1$。

定理4.3 $\mathsf{PC}$的一致性

若$\mathsf{PC}$中不存在公式$A$,使得$\Gamma ⊢A$与$\Gamma ⊢\neg A$同时成立,则称形式系统具有一致性。
若$\mathsf{PC}$中,对于同一公式$A$,有$⊢A$,$⊢\neg A$能同时成立,引用定理4.2,有$\Rightarrow A$,$\Rightarrow \neg A$能同时成立,违反矛盾律。

引理4.1

若$\Gamma$是一致的,$\Gamma ⊢A$,则 Γ ∪ { A } \Gamma \cup \left \{ A \right \} Γ∪{A}也是一致的。
设 Γ ∪ { A } \Gamma \cup \left \{ A \right \} Γ∪{A}不是一致的,存在公式$A$使得 Γ ∪ { A } ⊢ B \Gamma \cup \left \{ A \right \}\vdash B Γ∪{A}⊢B和 Γ ∪ { A } ⊢ ¬ B \Gamma \cup \left \{ A \right \}\vdash \neg B Γ∪{A}⊢¬B,可通过如下演绎过程:
$$\begin{array}{lcc}(1)& A\to \neg B& 演绎定理\\ (2)& \left(A\to \neg B\right)\to \left(B\to \neg A\right)& 定理3\\ (3)& B\to \neg A& r_{mp}(1)(2)\\ (4)& B& 假设\\ (5)& \neg A& r_{mp}(3)(4)\end{array}$$
构造$\Gamma ⊢\neg A$,即$\Gamma /⊢A$,从而导出与$\Gamma ⊢A$矛盾的逻辑结果。

引理4.2

若$\Gamma$是一致的,$\Gamma /⊢A$,则 Γ ∪ { ¬ A } \Gamma \cup \left \{ \neg A \right \} Γ∪{¬A}也是一致的。
设 Γ ∪ { ¬ A } \Gamma \cup \left \{ \neg A \right \} Γ∪{¬A}不是一致的,存在公式$A$使得 Γ ∪ { ¬ A } ⊢ B \Gamma \cup \left \{ \neg A \right \}\vdash B Γ∪{¬A}⊢B和 Γ ∪ { ¬ A } ⊢ ¬ B \Gamma \cup \left \{ \neg A \right \}\vdash \neg B Γ∪{¬A}⊢¬B,可通过如下演绎过程:
$$\begin{array}{lcc}(1)& \neg A\to \neg B& 演绎定理\\ (2)& \left(\neg A\to \neg B\right)\to \left(B\to A\right)& 定理3\\ (3)& B\to A& r_{mp}(1)(2)\\ (4)& B& 假设\\ (5)& A& r_{mp}(3)(4)\end{array}$$
构造$\Gamma ⊢A$,从而导出与$\Gamma /⊢A$矛盾的逻辑结果。

引理4.3

设$\Gamma$为$\mathsf{PC}$的一致公式集,则存在公式集$\Delta$使得$\Gamma \subseteq \Delta$且$\Delta$同时满足一致性,完全性。
对于$\mathsf{PC}$中的公式$A_0,A_1,\dots A_n\dots$,可构造$\Delta$:

1. ${\Delta }_0=\Gamma$;
2. 若${\Delta }_n⊢A_n$,则 Δ n + 1 = Δ n ∪ { A n } \Delta _{n+1} = \Delta _{n} \cup \left \{ A_{n} \right \} Δn+1​=Δn​∪{An​};
3. 若${\Delta }_n/⊢A_n$,则 Δ n + 1 = Δ n ∪ { ¬ A n } \Delta _{n+1} = \Delta _{n} \cup \left \{\neg A_{n} \right \} Δn+1​=Δn​∪{¬An​};
4. $\Delta ={\bigcup }_{n=0}^{+\infty }{\Delta }_n$。

(1)$\Delta$的完全性
设$\mathsf{PC}$中任意公式为$A_j$,若${\Delta }_j⊢A_j$,则 A j ∈ Δ j + 1 = Δ j ∪ { A j } A_{j} \in \Delta _{j+1} = \Delta _{j} \cup \left \{ A_{j} \right \} Aj​∈Δj+1​=Δj​∪{Aj​},根据$\Delta$的递归定义,$A_j\in {\Delta }_{j+1}\subseteq \Delta$,即$\Delta ⊢A_j$。
若${\Delta }_j/⊢A_j$,则 ¬ A j ∈ Δ j + 1 = Δ j ∪ { ¬ A j } \neg A_{j} \in \Delta _{j+1} = \Delta _{j} \cup \left \{ \neg A_{j} \right \} ¬Aj​∈Δj+1​=Δj​∪{¬Aj​},根据$\Delta$的递归定义,$\neg A_j\in {\Delta }_{j+1}\subseteq \Delta$,即$\Delta ⊢\neg A_j$。
(2)${\Delta }_n$的一致性
第一数学归纳法,$n=0$时${\Delta }_0=\Gamma$,由假设${\Delta }_0=\Gamma$具有一致性;设$n<k$时${\Delta }_n$都一致,对于$n=k$的情形,若${\Delta }_{k-1}⊢A_{k-1}$,则 Δ k = Δ k − 1 ∪ { A k − 1 } \Delta _{k}= \Delta _{k-1} \cup \left \{ A_{k-1} \right \} Δk​=Δk−1​∪{Ak−1​},引用引理4.1,${\Delta }_k$也一致。若${\Delta }_{k-1}/⊢A_{k-1}$,则 Δ k = Δ k − 1 ∪ { ¬ A k − 1 } \Delta _{k}= \Delta _{k-1} \cup \left \{ \neg A_{k-1} \right \} Δk​=Δk−1​∪{¬Ak−1​},引用引理4.2,${\Delta }_k$也一致。
(3)$\Delta$的一致性
设存在公式$A$使得$\Delta ⊢\neg A$,$\Delta ⊢A$,则存在正整数$i$,$j$使得${\Delta }_i⊢A$,${\Delta }_j⊢\neg A$,取 n = max ⁡ { i , j } n=\max \left \{ i,j \right \} n=max{i,j},有${\Delta }_n⊢A$,${\Delta }_n⊢\neg A$,这与(2)相矛盾,所以$\Delta$也一致。

引理4.4

$A\in \Delta \iff \Delta ⊢A$。
必要性显然,下证充分性:
设$\Delta ⊢A$,并且设$\Delta ⊢A$的演绎序列为$⟨A_1,A_2,\cdots ,A_m=A⟩$,
第一数学归纳法,对演绎序列长度$m$进行归纳,
$m=1$时,$A\in \Delta$或$A$为公理,若是后者,设枚举$A$时编号为$l$,则$A\in {\Delta }_l\subseteq \Delta$,从而$A\in \Delta$;
设$m<k$时假设都成立,当$m=k$时,
$A_k=A$,若$A_k$为公理,则依照$m=1$时的结论,$A\in \Delta$;
设$A_k=A$可以通过$A_i$,$A_j=A_i\to A_k\left(i,j\in {\mathbb{N}}^{+},i,j<k\right)$通过分离规则导出,由归纳假设,$A_i,A_j\in \Delta$,存在正整数$n_1$,$n_2$,使得$A_i\in {\Delta }_{n_1}$,$A_j\in {\Delta }_{n_2}$,令 n = max ⁡ { n 1 , n 2 } n=\max \left \{ n_{1},n_{2} \right \} n=max{n1​,n2​},则有$A_i$,$A_j\in {\Delta }_n$,${\Delta }_n⊢A_k$,$A_k\in {\Delta }_{n+1}\subseteq \Delta$,即$A_k=A\in \Delta$。

引理4.5

设$\Gamma$为$\mathsf{PC}$中的一致公式集,则存在指派$\pi$使得$\Gamma$中每个公式为真。
根据引理4.3,存在公式集$\Delta$,使得$\Gamma \subseteq \Delta$且$\Delta$同时满足一致性,完全性。
取任意公式$A$,根据引理4.4,$A\in \Delta$等价于$\Delta ⊢A$,
构造映射$\bar{\pi }$:
π ˉ ： F o r m ( p ) ⟶ { 0 , 1 } A ⟼ π ˉ ( A ) \begin{matrix} \bar{\pi } ： & \mathsf{Form\left ( p \right ) } & \longrightarrow & \left \{ 0,1 \right \} \\ & A & \longmapsto & \bar{\pi } \left ( A \right ) \end{matrix} πˉ：​Form(p)A​⟶⟼​{0,1}πˉ(A)​
具体功能如下:
$$\bar{\pi }\left(A\right)=\{\begin{array}{cc}0& A\in \Delta \\ 1& A\notin \Delta \end{array}$$
(1)与$\mathsf{PC}$中的连接词的复合运算
$$\begin{gathered} \bar{\pi }\left(\neg A\right) \\ =1-\bar{\pi }\left(A\right) \\ =\{\begin{array}{cc}1& A\in \Delta \\ 0& A\notin \Delta \end{array} \end{gathered}$$
$$\begin{gathered} \bar{\pi }\left(A\to B\right) \\ =\left(1-\bar{\pi }\left(A\right)\right)+\bar{\pi }\left(B\right)-\left(1-\bar{\pi }\left(A\right)\right)\cdot \bar{\pi }\left(B\right) \\ =1-\bar{\pi }\left(A\right)+\bar{\pi }\left(A\right)\cdot \bar{\pi }\left(B\right) \\ =\{\begin{array}{cc}1& A\notin \Delta ,B\notin \Delta \\ 1& A\notin \Delta ,B\in \Delta \\ 0& A\in \Delta ,B\notin \Delta \\ 1& A\in \Delta ,B\in \Delta \end{array} \end{gathered}$$
(2)映射的性质
由$\Delta$的完全性,对于每个公式$A$,$\Delta ⊢A$和$\Delta ⊢\neg A(\Delta /⊢A)$必有一个成立,根据引理4.4,$A\in \Delta$和$\neg A\in \Delta$必有一个成立;
又由$\Delta$的一致性,对于每个公式$A$,$\Delta ⊢A$和$\Delta ⊢\neg A(\Delta /⊢A)$不能同时成立,根据引理4.4,$A\in \Delta$和$\neg A\in \Delta$不能同时成立;
综上所述,原象$A$映射后只有唯一的象 π ˉ ( A ) ∈ { 0 , 1 } \bar{\pi } \left ( A \right ) \in \left \{ 0,1 \right \} πˉ(A)∈{0,1},所以$\bar{\pi }$是一个映射。
(3)映射的限制
将$\bar{\pi }$的定义域限制在$\mathsf{Atom}\left(\mathsf{p}\right)$上,构造限制映射$\pi =\bar{\pi }{\mid }_{\mathsf{Atom}\left(\mathsf{p}\right)}$,此时$\pi$只作用于所有原子命题上,$\pi$对公式$A$中的所有命题变元确定一个真值,此时$\pi$就是对公式$A$中的所有命题变元赋值,且$\bar{\pi }\left(A\right)=\pi \left(A\right)$,若$A\in \Gamma$,则$A\in \Delta$,$\pi \left(A\right)=\bar{\pi }\left(A\right)=1$。

定理4.4 $\mathsf{PC}$的完备性

对$\mathsf{PC}$中任意的公式集合$\Gamma$和公式$A$,若$\Gamma \Rightarrow A$,则$\Gamma ⊢A$,特别地,$\Gamma =\varnothing$时,若 $\Rightarrow A$,则$⊢A$,则称形式系统具有完备性。
(1)$\Gamma$不一致
即存在公式$A$,使得$\Gamma ⊢A$与$\Gamma ⊢\neg A$同时成立,对于任意公式$B$,有如下构造过程:
$$\begin{array}{lcc}(1)& \neg A\to \left(\neg B\to \neg A\right)& A1\\ (2)& \neg B\to \neg A& r_{mp}(1)\\ (3)& \left(\neg B\to \neg A\right)\to \left(A\to B\right)& A3\\ (4)& A\to B& r_{mp}(2)(3)\\ (5)& \left(A\to B\right)\to \left(\neg A\to \left(A\to B\right)\right)& A1\\ (6)& \neg A\to \left(A\to B\right)& r_{mp}(4)(5)\\ (7)& A\to B& r_{mp}(6)\\ (8)& B& r_{mp}(7)\end{array}$$
由于$B$的任意性,所以$\Gamma$可以推出任意公式。
(2)$\Gamma$一致
反证法,设$\Gamma \Rightarrow A$推出$\Gamma /⊢A$,由引理4.2,则 Γ ∪ { ¬ A } \Gamma \cup \left \{ \neg A \right \} Γ∪{¬A}也是一致的,由引理4.5,则存在指派$\alpha$弄真$\Gamma$中每个公式,同时弄真$\neg A$,即弄假$A$,这与$\Gamma \Rightarrow A$矛盾。

定理4.5 $\mathsf{PC}$的紧致性

对于$\mathsf{PC}$的任意的公式集合$\Gamma$,若$\Gamma$的任意子集可满足,则$\Gamma$也是可满足的。