萊布尼兹命題9 幾何原本公理2 亞里士多德的相同 邏輯與算法之十三

莱布尼兹命题9 《几何原本》公理2和亚里士多德的“相同”
-逻辑与算法之十三

在莱布尼兹的片断20中，从命题9开始，对命题的证明都辅之以几何图形。无论如何抽象的几何图形，也比纯粹文字的表述更容易为人理解。在759中曾给出过片断20命题3的文字证明，本篇再给出片断20中，逻辑加交换律命题1的文字证明。然后，则仅给出有辅助图形的命题9及其证明。

这个思路是一个未曾预料到的转换，原本想一个一个命题联袂而出，命题9，10，11.﹍﹍等等。但关于“相同”的一些经典描述突然间跳入脑际，让我从莱布尼兹一下子想到了古希腊。几何原本的公理，还有亚里士多德的工具论，如同智慧精灵般，从天际之外飘落我心，落进我对莱布尼兹命题9的思绪之中。

思考莱布尼兹普遍演算中的“相同”观，把我带回到欧几里得的《几何原本》，你再从欧几里得的希腊时代回望亚里士多德。你会发现，莱布尼兹这个普遍语句演算的逻辑加，原来有它深深的古希腊之根。

命题1：若A=B，那么B=A

如果任意物和另一物相同，那么，另一物也和那个任意物相同。

证明：

1.因为A=B，（依据假设真）

2.那就可以推出，陈述A=B中的B可以用A来替换，同理，陈述A=B中的A可以用B来替换。（根据定义1，相同的定义）

所以，我们有B=A

证毕。

我们跨过有关相同和逻辑加的前8个命题证明，来看有辅助图形的命题9。片断20定义6之下，从命题5开始，全都是关于逻辑加的一类命题，从命题9开始