莱布尼兹命题11和涉及包含关系的命题12-逻辑与算法之十五

莱布尼兹命题11和涉及包含关系的命题12-逻辑与算法之十五

一、命题11

莱布尼兹命题11是命题10的延续，是多于两个词项等式情况下，有关等式左项逻辑加和等式右项逻辑加的多项式命题。

命题11：如果A=L，并且B=M，并且C=N，那么则有A⊕B⊕C=L⊕M⊕N，等等。

如果任意数目的词项在我们的考虑之下，并且又有等数目的词项和另一个等数目的词项，一对一的相同（一致），那么，前者所构成的一个合成词项就与后者所构成的合成词项相同（一致）。

这表明，这个命题11原则上可以有无限的等式，然后形成的左项和等于右项和。

证明：

因为，依据命题10，由A=L，并且B=M，我们得到A⊕B=L⊕M，

由此，既然C=N，我们可以继续依据命题10得到A⊕B⊕C=L⊕M⊕N。

这个，命题11比较好理解，有命题10的结果，把命题10的结果作为一个词项来对待，自然要得出命题11的结果。

有图形证明的命题12，虽然直觉上很容易接受，但因为增加了词项间的包含关系而麻烦一些。原段英文有点费解，我以自己的理解来描述这个命题12。为了证明这个命题12，复述一下莱布尼兹关于包含与合成词项的定义3-4是必要的。

二、包含和合成的定义3-4

定义3：A在L中，也称为L包含A。

这是包含的定义。

定义4：所有那些使得无论如何在它们之中的词项，也都在L之中，所有包含在L中的词项，称