数理逻辑——ND系统

前言

本来不想写博客，但是想了想还是写吧，好记性不如烂笔头，以后万一能够用到呢？
ND系统是在PC系统之上发展而来，其推导更加符合人类的常规思维，PC系统详见“数理逻辑——PC部分”

公理

设$\Gamma$为公式集，后文皆如此。ND中的公理为：

Γ ∪ { A } ⊢ A \Gamma\cup \{A\} \vdash A Γ∪{A}⊢A

推导规则

推导规则共14条，有3条尤为重要，我会用星号标识。

$+(引入规则)$

Γ ⊢ A Γ ∪ { B } ⊢ A \frac{\Gamma \vdash A}{\Gamma\cup \{B\} \vdash A} Γ∪{B}⊢AΓ⊢A​

*$-(消去规则)$

$$\frac{\Gamma ;A⊢B,\Gamma ;\neg A⊢B}{\Gamma ⊢B}$$

$\vee +$

$$\frac{\Gamma ⊢A}{\Gamma ⊢A\vee B}$$

*$\vee -$

$$\frac{\Gamma ;A⊢C,\Gamma ;B⊢C,\Gamma ⊢A\vee B}{\Gamma ⊢C}$$

$\wedge +$

$$\frac{\Gamma ⊢A,\Gamma ⊢B}{\Gamma ⊢A\wedge B}$$

$\wedge -$

$$\frac{\Gamma ⊢A\wedge B}{\Gamma ⊢A,\Gamma ⊢B}$$

$\to +$

$$\frac{\Gamma ;A⊢B}{\Gamma ⊢A\to B}$$

$\to -$

$$\frac{\Gamma ⊢A,\Gamma ⊢A\to B}{\Gamma ⊢B}$$

*$\neg +$

$$\frac{\Gamma ;A⊢B,\Gamma ;A⊢\neg B}{\Gamma ⊢\neg A}$$

$\neg -$

$$\frac{\Gamma ⊢B,\Gamma ⊢\neg B}{\Gamma ⊢A}$$

$\neg \neg +$

$$\frac{\Gamma ⊢A}{\Gamma ⊢\neg \neg A}$$

$\neg \neg -$

$$\frac{\Gamma ⊢\neg \neg A}{\Gamma ⊢A}$$

$\leftrightarrow +$

$$\frac{\Gamma ⊢A\to B,\Gamma ⊢B\to A}{\Gamma ⊢A\leftrightarrow B}$$

$\leftrightarrow -$

$$\frac{\Gamma ⊢A\leftrightarrow B}{\Gamma ⊢A\to B,\Gamma ⊢B\to A}$$

ND中的一些定理

$⊢A\vee \neg A$

1. $A⊢A(公理)$
2. $A⊢A\vee \neg A(\vee +)$
3. $\neg A⊢\neg A(公理)$
4. $\neg A⊢A\vee \neg A(\vee +)$
5. $⊢A\vee \neg A(2、4-)$

$⊢\neg (A\vee B)\leftrightarrow \neg A\wedge \neg B$

首先证明：$⊢\neg (A\vee B)\to \neg A\wedge \neg B$
即证明： $\neg (A\vee B)⊢\neg A\wedge \neg B(演绎定理)$
即证明：$\neg (A\vee B)⊢\neg A,\neg (A\vee B)⊢\neg B(\wedge +)$

证明$\neg x$的一般步骤：

1. 将$\neg x$写入公式集内；
2. 证明相反结论；

1. $\neg (A\vee B),A⊢\neg (A\vee B)(公理，接下来只需证明能够推导出A\vee B即可)$

看到$\vee$符号要想到推理规则$\vee -$

2. $\neg (A\vee B),A⊢A(公理)$
3. $\neg (A\vee B),A⊢A\vee B(\vee +)$
4. $\neg (A\vee B)⊢\neg A(1、3\neg +)$

接下来是证明$\neg (A\vee B)⊢\neg B$

5. $\neg (A\vee B),B⊢\neg (A\vee B)(公理)$
6. $\neg (A\vee B),B⊢B(公理)$
7. $\neg (A\vee B),B⊢A\vee B(\vee +)$
8. $\neg (A\vee B)⊢\neg B(\neg +)$
9. $\neg (A\vee B)⊢\neg A\wedge \neg B(4、8\wedge +)$
10. $⊢\neg (A\vee B)\to \neg A\wedge \neg B(\to +)$

接下来证明：$⊢\neg (A\vee B)\leftarrow \neg A\wedge \neg B$
即证明：$\neg A\wedge \neg B⊢\neg (A\vee B)$

1. $\neg A\wedge \neg B,A\vee B⊢\neg A\wedge \neg B(公理)$
2. $\neg A\wedge \neg B,A\vee B⊢\neg A(\wedge -，接下来只需证明能够推导出A即可)$

看到$\vee$要想到$\vee -$

3. $\neg A\wedge \neg B,A\vee B,A⊢A(公理)$
4. $\neg A\wedge \neg B,A\vee B,B⊢B(公理)$
5. $\neg A\wedge \neg B,A\vee B,B⊢\neg B(\wedge -)$
6. $\neg A\wedge \neg B,A\vee B,B⊢A(\neg -)$
7. $\neg A\wedge \neg B,A\vee B⊢A\vee B(公理)$
8. $\neg A\wedge \neg B,A\vee B⊢A(\vee -)$
9. $\neg A\wedge \neg B⊢\neg (A\vee B)(\neg +)$
10. $⊢\neg (A\vee B)\leftarrow \neg A\wedge \neg B(\to +)$