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

上一节给出了系统L的定义，接下来我们看看这个系统L有哪些定理，又有哪些有趣的假设结果。

为了方便，如果$B$是一个定理，则记作$\vdash_L B$，表示不需要任何假设$\Gamma$即可推导得出。在讲述系统L的时候可省略下标，简记为$\vdash B$。

定理1.7: $\vdash B \Rightarrow B$
证明:
(1) $B \Rightarrow \big( (D \Rightarrow B) \Rightarrow B \big)$, 由A1
(2) $\big( B \Rightarrow (D \Rightarrow B) \big) \Rightarrow (B \Rightarrow B)$， 由(1)、A2和MP
(3) $B \Rightarrow (D \Rightarrow B)$， 由A1
(4) $B \Rightarrow B$，由(2),(3)和MP
证毕

谨记，一个证明即是一个wf序列，序列的最后就是要证明的wf，中间的每一个wf要么是公理，要么由前面的wf推导得出。上述证明就是4个wf组成的序列。

一开始的定理都很简单，接着玩。

定理1.8: $\vdash (\neg B \Rightarrow B) \Rightarrow B$
证明：
(1) $(\neg B \Rightarrow \neg B) \Rightarrow \big( (\neg B \Rightarrow B) \Rightarrow B \big)$, 由A3
(2) $\neg B \Rightarrow \neg B$，由定理1.7
(3) $(\neg B \Rightarrow B) \Rightarrow B$，由(1),(2),MP
证毕

严格来说，定理1.8的证明并不是一个完整的序列，因为其中（2）用了定理1.7。实际上，我们可以想想（2）是一个缩写，即把定理1.7的证明中的4个wf仅用一个wf来代替。我们再次看出，所谓的证明，就是在”搭积木“。

命题1.9： $B \Rightarrow C$，$C \Rightarrow D \vdash B \Rightarrow D$
注：这里的命题只是个叫法，因为它加了假设，所以就不是定理。
证明：
(1) $(C \Rightarrow D) \Rightarrow \big( B \Rightarrow (C \Rightarrow D) \big)$， A1
(2) $C \Rightarrow D$，假设
(3) $B \Rightarrow (C \Rightarrow D)$, (1)(2)和MP
(4) $(B \Rightarrow C) \Rightarrow (B \Rightarrow D)$, 由(3), A2和MP
(5) $B \Rightarrow C$，假设
(6) $B \Rightarrow D$，(4)(5)和MP
证毕

有时候证明会简略，即某些公理，定理没有出现在wf序列中，而是直接写在某个wf后面，作为“推导依据”。

命题1.10： B⇒(C⇒D