莱布尼兹命题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中的词项,称