萊布尼茲命題10中的邏輯加及其轉換性命題10+ -邏輯與算法之十四

萊布尼茲命題10中的邏輯加及其轉換性命題10+ -邏輯與算法之十四 片斷20中的命題10，依然是有關邏輯加的定理，且看萊布尼茲如何處理。 我們面前呈現兩個等量公式，先將兩公式左邊的符號，運算邏輯加。然後，將公式右邊的符號，同樣運算邏輯加。這兩次運算邏輯加的結果，可以用等號連接，因爲它們相同。 這應該是同一法則的另一種情形，比命題9複雜一些。本篇的篇幅容量，大概只能處理這個命題及其證明了。估計也只能

>>阅读原文<<