萊布尼茲命題9 幾何原本公理2 亞裏士多德的相同 邏輯與算法之十三

萊布尼茲命題9 《幾何原本》公理2和亞里士多德的「相同」 -邏輯與算法之十三 在萊布尼茲的片斷20中，從命題9開始，對命題的證明都輔之以幾何圖形。無論如何抽象的幾何圖形，也比純粹文字的表述更容易爲人理解。在759中曾給出過片斷20命題3的文字證明，本篇再給出片斷20中，邏輯加交換律命題1的文字證明。然後，則僅給出有輔助圖形的命題9及其證明。 這個思路是一個未曾預料到的轉換，原本想一個一個命題聯袂而

>>阅读原文<<