萊布尼茲命題11和涉及包含關係的命題12-邏輯與算法之十五

萊布尼茲命題11和涉及包含關係的命題12-邏輯與算法之十五 一、命題11 萊布尼茲命題11是命題10的延續，是多於兩個詞項等式情況下，有關等式左項邏輯加和等式右項邏輯加的多項式命題。 命題11：如果A=L，並且B=M，並且C=N，那麼則有A⊕B⊕C=L⊕M⊕N，等等。 如果任意數目的詞項在我們的考慮之下，並且又有等數目的詞項和另一個等數目的詞項，一對一的相同（一致），那麼，前者所構成的一個合成詞項

>>阅读原文<<