莱布尼兹“逻辑加”等词项定义、还有公理和公设-逻辑与算法之十二

莱布尼兹“逻辑加”等词项定义、还有公理和公设-逻辑与算法之十二

相同和不同是莱布尼兹片断20中，最为基础的定义。展开莱布尼兹关于普遍演算的设想，余下的定义，公理和公设都不可缺，然后才能开始命题的证明。本篇继续以文本片断20为据，先给出余下的定义3-6，继而给出公理1-2和公设2的部分。

很难想象，这个世界如果没有2000年前《几何原本》的存在，今天会是什么样子。开启人类科学时代的那些如牛顿、莱布尼兹这样的大科学家，他们关于人类智能的新发现，几乎就是按照《几何原本》的模式构造的。简直就可以说，没有《几何原本》这个希腊原创，就没有今天的科学。定义，公理，公设，命题，这个《几何原本》首卷平面几何基础奠定的模式，是人类为这个世界留下的永恒。

接续上篇定义2，有几个依据定义1和2来证明的命题1-4。它们有了简单证明后，定义3-6就随之出现。这些有关词项的定义，仿佛让人看到亚里士多德三段论的影子，包含、下属、合成、全异等，这类用来刻画古典三段论词项之间关系的一些性质，出现在莱氏的普遍演算设想之中。

定义3：包含（contain）

A在L中，或者L包含A，这等于是说，L可以由多个词项组合而成，A是其中的一个。

图形1 包含

定义4：组合或者合成（实际上是逻辑加⊕的一种定义）

所有那些集合在一起的词项，包含在L中。这些集合起来的词项，称作相关于L而组