逻辑哲学第四章

一. 否(Negation)

否在命题逻辑中就是将该命题拒绝，否决掉. 在语言中，相当于"不". 例如，我是人，那么这个命题加上否，就变成: 我不是人. 所以"否"在语义中，就是将该命题的True变成False，将False变成True.
即:

p	¬p	¬¬p(双重否定)
T	F	T
F	T	F

但有个大家很容易犯错的地方，假如有个原命题: “我是开心的”，那大家可以思考下，加上否后，A: “我不是开心的”，B：“我是不开心的”. A命题和B命题哪个是否定原命题. 答案是A命题是原否定命题. 因为原命题"我是开心的"的反面，应该是不开心,或者开心和不开心都不是. 所以应该是A命题是原否定命题，即"我不是开心的"在说我是不开心,或者开心和不开心都不是.

我们现在来看看它的在自然演绎中的双重否定的逻辑规则:
$$\frac{\neg \neg A}{A}\neg \neg E$$
$$\frac{A}{\neg \neg A}\neg \neg I$$
如果我们给了前提¬¬A，我们可以有效论证出A，如果给了A，我们可以有效论证出¬¬A.

我们现在来看看它的在自然演绎中的否定的逻辑规则:

$$\frac{A\neg A}{\perp }\neg E$$
$$\frac{X,A⊢\perp }{X⊢\neg A}\neg I$$
我们先看第一条逻辑,举个例子: 我是男的，我不是男的，这俩前提，我们可以有效论证出什么，是不是肯定有个是错的，即这俩命题一起看是矛盾的，所以是恒错即⊥.

现在来看第二条逻辑. 如果说，X,A⊢ ⊥，这就意味至少有一个前提肯定是错的，所以才会有效论证出恒错⊥. 那在结合第一条逻辑，是不是能说明X⊢¬A，这样才会符合¬A，A⊢ ⊥. 所以X,A⊢ ⊥有效论证了这个相继式X⊢¬A. 大家也看到了，结论相继式的前提少了个A，所以当我们要用这个逻辑的时候要消除它对应的假设前提，例如[α1]这样的.

给大家看几道例题
例1:
$p\wedge \neg \neg q⊢\neg \neg p\wedge q$

$\alpha 1(1)p\wedge \neg \neg qA$
$\alpha 1(2)p1\wedge E$
$\alpha 1(3)\neg \neg q1\wedge E$
$\alpha 1(4)q3\neg \neg E$
$\alpha 1(5)\neg \neg p2\neg \neg I$
$\alpha 1(6)\neg \neg p\wedge q4,5\wedge I$

例2:
$p\to q,\neg q⊢\neg p$
$\alpha 1(1)p\to qA$
$\alpha 2(2)\neg qA$
$\alpha 3(3)pA$
$\alpha 1,\alpha 3(4)q1,3\to E$
$\alpha 1,\alpha 2,\alpha 3(5)\perp 2,4\neg E$
$\alpha 1,\alpha 2(6)\neg p5[\alpha 3]\neg I$

例3:
如果今天是星期天，这里奶茶开门
这里奶茶没开门
因此今天不是星期天

$\neg p\to \neg q,q⊢p$
$\alpha 1(1)\neg p\to \neg qA$
$\alpha 2(2)qA$
$\alpha 3(3)\neg pA$
$\alpha 1,\alpha 3(4)\neg q1,3\to E$
$\alpha 1,\alpha 2,\alpha 3(5)\perp 2,4\neg E$
$\alpha 1,\alpha 2(6)\neg \neg p5[\alpha 3]\neg I$
$\alpha 1,\alpha 2(7)p6\neg \neg E$

例4:
$p,\neg p⊢q$
$\alpha 1(1)pA$
$\alpha 2(2)\neg pA$
$\alpha 1,\alpha 2(3)\perp 1,2\neg E$
$\alpha 1,\alpha 2(4)\neg \neg q3[]\neg I$
$\alpha 1,\alpha 2(5)q4\neg \neg E$

最后一个逻辑规则叫做RAA
$$\frac{\frac{X,B⊢AY,B⊢\neg A}{X,Y,B⊢\perp }\neg E}{X,Y⊢\neg B}\neg I$$

RAA: 其实就是由 ¬E和 ¬I的组合写法. 所以为了简便，我们会写成:
$$\frac{X,B⊢AY,B⊢\neg A}{X,Y⊢\neg B}RAA$$

例5:
$\neg p\to \neg q⊢q\to p$
$\alpha 1(1)\neg p\to \neg qA$
$\alpha 2(2)qA$
$\alpha 3(3)\neg pA$
$\alpha 1,\alpha 3(4)\neg q1,3\to E$
$\alpha 1,\alpha 2(5)\neg \neg p2,4[\alpha 3]RAA$
$\alpha 1,\alpha 2(6)p5\neg \neg E$
$\alpha 1(7)q\to p6[\alpha 2]\to I$

例6:
$p\to r,q\to \neg r⊢\neg (p\wedge q)$
$\alpha 1(1)p\to rA$
$\alpha 2(2)q\to \neg rA$
$\alpha 3(3)p\wedge qA$
$\alpha 3(4)p3\wedge E$
$\alpha 1,\alpha 3(5)r1,4\to E$
$\alpha 3(6)q3\wedge E$
$\alpha 2,\alpha 3(7)\neg r2,6\to E$
$\alpha 1,\alpha 2(8)\neg (p\wedge q)5,7[\alpha 3]RAA$

例7:
$\neg p⊢p\to q$
$\alpha 1(1)\neg pA$
$\alpha 2(2)pA$
$\alpha 1,\alpha 2(3)\neg \neg q1,2[]RAA$
$\alpha 1,\alpha 2(4)q3\neg \neg E$
$\alpha 1(5)p\to q4[\alpha 2]\to I$

二. 或(Disjunction)

举个例子，p ∨ q 有两种解读，第一种解读是包含(inclusive)的意义即: p或者q或者都是. 第二种是exclusive的意义即: p或者q,但不都是, 但第二种很少用在我们古典逻辑中.

但现实中，我们经常同时用这俩种或的含义在我们日常语言中, 例如: 你想喝茶或咖啡，这句话言下之意是茶和咖啡二选一，及我们的exclusive 的或含义. 例如: 你想继续点菜或着买单，这言下之意是，你也可以继续点菜并且买单，不能说，你点菜了，但不想买单,单还是要买的不管你点不点，所以这是包含(inclusive)或含义.

因为在古典逻辑中，我们经常使用包含或含义. 如果包含或含义 例如p ∨ q 是对的即True，那么意味着至少有一个是对的，即p或者q，当然了你可以说p和q都是对的.

我们来看看它的自然演绎中的逻辑用法.

$$\frac{A}{A\vee B}\vee I$$
$$\frac{B}{A\vee B}\vee I$$

上述∨I逻辑在阐述包含或含义，举个例子如果有A 条件，可以有效论证出A∨B, 它相当于$\frac{X⊢A}{X⊢A\vee B}\vee I$

接下来我们来讨论下 ∨E的用法，首先举个例子:

某个数字$x$,是奇数或者偶数
如果$x$是奇数，那么$x^2+x$是偶数
如果$x$是偶数，那么$x^2+x$是偶数
因此$x^2+x$是偶数

上述例子其实在说:
$$\begin{gathered} \frac{X⊢A\vee BY⊢A\to C \\ Z⊢B\to CX,Y,Z⊢C}{X,Y,Z⊢C} \end{gathered}$$

我们可以将$Y⊢A\to C$ 和 $Z⊢B\to C$换成$Y,A⊢C$ 和 $Z,B⊢C$,那么该公式的正规写法为:
$$\begin{gathered} \frac{X⊢A\vee BY,A⊢C \\ Z,B⊢C}{X,Y,Z⊢C}\vee E \end{gathered}$$

所以我们从上述自然演绎的∨E逻辑公式种发现，前提相继式$$\begin{gathered} X⊢A\vee BY,A⊢C \\ Z,B⊢C \end{gathered}$$ 要把前提$A,B$消掉，且前提$A,B$要用在$X⊢A\vee B$种，这样才会有效推出相继式$X,Y,Z⊢C$.

给大家个例子，来感受下

$p\wedge (q\vee r)⊢(p\wedge q)\vee (p\wedge r)$
$\alpha 1(1)p\wedge (q\vee r)A$
$\alpha 1(2)p1\wedge E$
$\alpha 1(3)q\vee r1\wedge E$
$\alpha 2(4)qA$
$\alpha 1,\alpha 2(5)p\wedge q2,4\wedge I$
$\alpha 1,\alpha 2(6)(p\wedge q)\vee (p\wedge r)5\vee I$
$\alpha 3(7)rA$
$\alpha 1,\alpha 3(8)p\wedge r2,7\wedge I$
$\alpha 1,\alpha 3(9)(p\wedge q)\vee (p\wedge r)8\vee I$
$\alpha 1(10)(p\wedge q)\vee (p\wedge r)3,6[\alpha 2],9[\alpha 3]\vee E$

$⊢p\vee \neg p$
$\alpha 1(1)\neg (p\vee \neg p)A$
$\alpha 2(2)pA$
$\alpha 2(3)p\vee \neg p2\vee I$
$\alpha 1(4)\neg p1,3[\alpha 2]RAA$
$\alpha 1(5)p\vee \neg p4\vee I$
$(6)\neg \neg (p\vee \neg p)1,5[\alpha 1]RAA$
$(7)p\vee \neg p6\neg \neg E$

还记得小弟之前讲自然演绎不一致的地方么，$⊢p\vee \neg p$我们是不是一眼就能看出他是对的，但自然演绎却用了7个步骤来证明，自然演绎是根据我们的逻辑具象化的，理应需要很少的自然演绎步骤来证明，因为我们逻辑一眼就能知道$⊢p\vee \neg p$是对的. 为了解释不一致，根岑同学用相继式演算来说明这个问题，小弟后续会为大家介绍相继式演算.

到此，我们已经讲完了所有命题逻辑的自然演绎的规则,即相关连接词的逻辑规则，小弟在结语中会给大家一些例题来练练手，连接词的语言哲学其实很复杂很烧脑，小弟其实并没有过深入的去讲解，主要为大家讲解自然演绎关于命题逻辑的算法，想更深入了解的同学，可以去看小弟哲学逻辑第一章推荐的链接笔记.

下章开始，小弟会分析语义树的内容，是另外一种解相继式论证的方法.但在结束之前，小弟给大家聊聊相继式背后的一些知识.

三. 理论(Theorems)

理论，这个知识，小弟在前面几章已经有提过，在此还是想写几笔.理论的公式写成:
$$⊢A$$

理论大家也可以认为，即前提是空的，单纯的一句恒对结论.

$$⊢A\to B\equiv A⊢B$$

上述$⊢A\to B$是个理论相继式，$A⊢B$就是一个普通相继式，理论相继式和普通相继式之间的转换，就靠这个→.

小弟来给大家举个例子，叫大家明白什么是理论:
A: 某多边形是三角形
B:某多边形内角和180度
A→B: 如果某多边形是三角形，那么这个多边形内角和180度.

假如你在做题，知道A，那么你下一行是不是可以直接用理论$⊢A\to B$,就是A→B: 如果某多边形是三角形，那么这个多边形内角和180度.这个理论就可以直接用. 当然了有些同学肯定不服这个理论，于是开始证明这个理论，其实他就是在证明$A⊢B$这个东西是否有效论证，即为啥某多边形是三角形，那么该多边形内角和180度. 于是他会写很多步骤来证明它，相当于我们的自然演绎.当他发现确实$A⊢B$这个东西没毛病，他想以后就直接用，他用的其实是$⊢A\to B$这个理论.

四. 弱化(weakening)

如果我们有$X⊢A$,我们随便在加个比$X$更大前提条件集合$Y$，或者一些没用前提条件集合，他是不是还是可以有效论证出$A$, 即$X,Y⊢A$. 这个其实是单调性(monotonicity),小弟在第一章有提到. 当然了，我们可以提取一个公式$B$从$Y$前提集合里,那么我们依然可以有效论证出$A$,即$X,B⊢A$.

现在，我们可以利用理论定义来对$X,B⊢A$进行改变，得到$X⊢B\to A$.

当然了，我们也可以用自然演绎中连接词$\to I$的逻辑规则来证明$X⊢B\to A$是有效论证的.即$[]\to A$无中生有，不消除任何前提，然后在结论相继式中给他个$B$，也就是说如果我们有$X⊢A$，利用$\to I$，可以得到$X⊢B\to A$，或者利用理论定义得到$X⊢B\to A$.

现在我们将$X⊢B\to A$带到我们日常语言中来看看是不是符合我们逻辑.

$X$:我是个男生

$A$:我是个人

$B$:今天星期天

$X⊢A$:我是个男生能够有效论证出我是个人.

$⊢X\to A$：理论如果我是个男生，那么我是个人.

我们会发现一个很有意思的事情，$X⊢B\to A$变成了: 我是个男生能够有效论证出: 如果今天是星期天，那么我是个人. 这个结论相继式是不是很令我们费解，是不是不太明白. 其实它说的没错，只不过将我们的语义弱化了.它其实是在说，[即使]如果今天是星期天,[那么]我[依然]是个人. [ ]里的就是弱化了一些语义. 所以为了克服这个bug，克服自然演绎运用古典逻辑规则使语义会弱化推出的结论,使我们读不懂或者很费解推出的结论. 我们会用另外一套逻辑叫做相关逻辑. 顺便说一句，小弟目前分析的自然演绎中的逻辑规则均是古典逻辑.相关逻辑相当于量子物理，古典逻辑相当于经典物理，就是不同领域用不同的一套逻辑罢了，小弟后续会为大家讲解相关逻辑，并为大家介绍一些很著名的古典逻辑悖论，相关逻辑可以修补这些悖论.

四. 缩写(Contraction)

如果我们见到，X,A,A ⊢ B， 那么我们可以缩写成X,A ⊢ B. X 是一个前提公式集合，例如X={A,B,C,C,D},那么进行缩写，可以得到X={A,B,C,D}.

五. 结语

下一章，小弟来介绍用语义树来证明命题逻辑相继式，例如，$p\wedge \neg \neg q⊢\neg \neg p\wedge q$，除了用自然推演，还可以用语义树来证明.

若有谬误请指出，感谢

最后给大家一些命题逻辑相继式(从易到难)，大家可以自行练习下.
Q1:
$(p\vee q)\to r⊢(p\to r)\wedge (q\to r)$
$\alpha 1(1)(p\vee q)\to rA$
$\alpha 2(2)pA$
$\alpha 2(3)p\vee q2\vee I$
$\alpha 1,\alpha 2(4)r1,3\to E$
$\alpha 1(5)p\to r4[\alpha 2]\to I$
$\alpha 6(6)qA$
$\alpha 6(7)p\vee q6\vee I$
$\alpha 1,\alpha 6(8)r1,7\to E$
$\alpha 1(9)q\to r8[\alpha 6]\to I$
$\alpha 1(10)(p\to r)\wedge (q\to r)5,9\wedge I$

Q2:
$(p\wedge q)\to s,(p\wedge s)\to r⊢(q\wedge \neg r)\to \neg p$
$\alpha 1(1)(p\wedge q)\to sA$
$\alpha 2(2)(p\wedge s)\to rA$
$\alpha 3(3)q\wedge \neg rA$
$\alpha 4(4)pA$
$\alpha 3(5)q3\wedge E$
$\alpha 3,\alpha 4(6)p\wedge q4,5\wedge I$
$\alpha 1,\alpha 3,\alpha 4(7)s1,6\to E$
$\alpha 1,\alpha 3,\alpha 4(8)p\wedge s4,7\wedge I$
$\alpha 1,\alpha 2,\alpha 3,\alpha 4(9)r2,8\to E$
$\alpha 3(10)\neg r3\wedge E$
$\alpha 1,\alpha 2,\alpha 3(11)\neg p9,10[\alpha 4]RAA$
$\alpha 1,\alpha 2(12)(q\wedge \neg r)\to \neg p11[\alpha 3]\to I$

Q3:
$p\to \neg q,p\to \neg r⊢(q\vee r)\to \neg p$
$\alpha 1(1)p\to \neg qA$
$\alpha 2(2)p\to \neg rA$
$\alpha 3(3)q\vee rA$
$\alpha 4(4)pA$
$\alpha 5(5)qA$
$\alpha 1,\alpha 4(6)\neg q1,4\to E$
$\alpha 1,\alpha 5(7)\neg p5,6[\alpha 4]RAA$
$\alpha 8(8)rA$
$\alpha 2,\alpha 4(9)\neg r2,4\to E$
$\alpha 2,\alpha 8(10)\neg p8,9[\alpha 4]RAA$
$\alpha 1,\alpha 2,\alpha 3(11)\neg p3,7[\alpha 5],10[\alpha 8]\vee E$
$\alpha 1,\alpha 2(12)(q\vee r)\to \neg p11[\alpha 3]\to I$

Q4:
$p\to (q\vee r)⊢(p\to q)\vee (p\to r)$
$\alpha 1(1)p\to (q\vee r)A$
$\alpha 2(2)\neg ((p\to q)\vee (p\to r))A$
$\alpha 3(3)pA$
$\alpha 1,\alpha 3(4)q\vee r1,3\to E$
$\alpha 5(5)qA$
$$\begin{gathered} \alpha 5(6)p\to q \\ 5[]\to I \end{gathered}$$
$\alpha 5(7)(p\to q)\vee (p\to r)6\vee I$
$\alpha 8(8)rA$
$\alpha 8(9)p\to r8[]\to I$
$\alpha 8(10)(p\to q)\vee (p\to r)9\vee I$
$\alpha 1,\alpha 3(11)(p\to q)\vee (p\to r)4,7[\alpha 5],10[\alpha 8]\vee E$
$\alpha 1,\alpha 2,\alpha 3(12)\neg \neg q2,11[]RAA$
$$\begin{gathered} \alpha 1,\alpha 2,\alpha 3(13)q \\ 12\neg \neg E \end{gathered}$$
$\alpha 1,\alpha 2(14)p\to q13[\alpha 3]\to I$
$\alpha 1,\alpha 2(15)(p\to q)\vee (p\to r)14\vee I$
$\alpha 1(16)\neg \neg ((p\to q)\vee (p\to r))2,15[\alpha 2]$

Q5:
$\neg p\to (q\vee r)⊢\neg q\to (p\vee r)$
$\alpha 1(1)\neg p\to (q\vee r)A$
$\alpha 2(2)\neg qA$
$\alpha 3(3)\neg (p\vee r)A$
$\alpha 4(4)pA$
$\alpha 4(5)p\vee r4\vee I$
$\alpha 3(6)\neg p3,5[\alpha 4]RAA$
$\alpha 1,\alpha 3(7)q\vee r1,6\to E$
$\alpha 8(8)qA$
$\alpha 2,\alpha 8(9)\neg \neg (p\vee r)2,8[]RAA$
$\alpha 2,\alpha 8(10)p\vee r9\neg \neg E$
$\alpha 5(11)rA$
$\alpha 5(12)p\vee r11\vee I$
$\alpha 1,\alpha 2,\alpha 3(13)p\vee r7,10[\alpha 8],12[\alpha 5]\vee E$
$\alpha 1,\alpha 2(14)\neg \neg (p\vee r)3,13[\alpha 3]RAA$
$\alpha 1,\alpha 2(15)p\vee r14\neg \neg E$
$\alpha 1(16)\neg q\to (p\vee r)15[\alpha 2]\to I$