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

莱布尼兹命题11和涉及包含关系的命题12-逻辑与算法之十五 一、命题11 莱布尼兹命题11是命题10的延续，是多于两个词项等式情况下，有关等式左项逻辑加和等式右项逻辑加的多项式命题。 命题11：如果A=L，并且B=M，并且C=N，那么则有A⊕B⊕C=L⊕M⊕N，等等。 如果任意数目的词项在我们的考虑之下，并且又有等数目的词项和另一个等数目的词项，一对一的相同（一致），那么，前者所构成的一个合成词项

>>阅读原文<<