数理逻辑1 -- 命题演算6

我们继续证明一些定理，然后讨论“定理”和“真值”的关系。

定理1.21: $\vdash (B \Rightarrow D) \Rightarrow \big( (\neg B \Rightarrow D) \Rightarrow D \big)$
证明：只需证明$B \Rightarrow D, \neg B \Rightarrow D \vdash D$
(1) $B \Rightarrow D$，假设
(2) $\neg D \Rightarrow \neg B$，(1)和定理1.18
(3) $(\neg D \Rightarrow B) \Rightarrow D$, (2)、A3和MP
(4) $\neg B \Rightarrow D$，假设
(5) $\neg D \Rightarrow B$，(4)、定理1.18和定理1.15
(6) $D$，(3)(5)和MP
证毕

定理1.22： $\vdash B \Rightarrow (B \lor D)$，即$B \Rightarrow (\neg B \Rightarrow D)$
证明：只需证明$B, \neg B \vdash D$，这就是命题1.11。证毕

定理1.23： $\vdash B \Rightarrow (D \lor B)$，即$B \Rightarrow (\neg D \Rightarrow B)$
证明：显然，$B, \neg D \vdash B$，证毕。

定理1.24： $\vdash (D \lor B) \Rightarrow (B \lor D)$，即$(\neg D \Rightarrow B) \Rightarrow (\neg B \Rightarrow D)$
证明：由定理1.17和定理1.18轻松得到，证毕。

定理1.25： $\vdash (B \land D) \Rightarrow B$，即$\neg (B \Rightarrow \neg D) \Rightarrow B$
证明:
(1) $B , \neg B \vdash \neg D$, 由命题1.11
(2) $\neg B \Rightarrow (B \Rightarrow \neg D)$，对(1)运用两次演绎定理
(3) $\neg (B \Rightarrow \neg D) \Rightarrow B$，由(2)和定理1.15 - 1.18
证毕

定理1.26：$\vdash (B \land D) \Rightarrow D$, 即$\neg (B \Rightarrow \neg D) \Rightarrow D$
证明：
(1) $\neg D \Rightarrow (B \Rightarrow \neg D)$, A1
(2) $\neg (B \Rightarrow \neg D) \Rightarrow D$, 由(1)和定理1.15-1.18
证毕

定理1.27： $\vdash (B \Rightarrow D) \Rightarrow \Big( (C \Rightarrow D) \Rightarrow \big( (B \lor C) \Rightarrow D \big) \Big)$
证明：只需证明$B \Rightarrow D, C \Rightarrow D, B \lor C \vdash D$
(1) $\neg B \Rightarrow C$, 假设$B \lor C$
(2) $C \Rightarrow D$，假设
(3) $\neg B \Rightarrow D$，(1)(2)和命题1.9
(4) $B \Rightarrow D$，假设
(5) $D$，由(3)(4)和重复定理1.21的证明
证毕

定理1.28：$\vdash \big( (B \Rightarrow D) \Rightarrow B \big) \Rightarrow B$
证明：只需证明$(B \Rightarrow D) \Rightarrow B \vdash B$
(1) $(B \Rightarrow D) \Rightarrow B$，假设
(2) $\neg B \Rightarrow \neg (B \Rightarrow D)$，(1)和定理1.15-1.18
(3) $\big( \neg B \Rightarrow (B \Rightarrow D) \big) \Rightarrow B$， 由(2)、A3和MP
(4) $\neg B \Rightarrow (B \Rightarrow D)$，命题1.11
(5) $B$，由(3)(4)和MP
证毕

“搭积木”玩到这就差不多了，系统L常见形式的定理基本出现在上述证明之中。

在证明这些定理的过程中，我们看出两个问题：第一，有些定理和我们的直觉很像，比如经常用到的命题1.9, $B \Rightarrow C, C \Rightarrow D \vdash B \Rightarrow D$，意思是说“如果B推出C，C推出D，那么B推出D”。或者换句话说，如果B推出C“为真”，C推出D“为真”，那么B推出D也“为真”。

第二，在证明的过程中，我们很自然地想用“真值表”的方法去证明。比如要证明 B,