邏輯證明的基礎除了定義，還有公理--邏輯與算法十九

邏輯證明的基礎除了定義，還有公理–邏輯與算法十九 引言 萊布尼茲的片斷19和片斷20的最後注釋是關於公理的，先給出公理1和公理2的基本內容，然後我們來看萊布尼茲如何看待它的邏輯加所依據的這兩個公理。 公理1：B⊕N=N⊕B。邏輯加的交換律 公理2：A⊕A=A。邏輯加的吸收律 一個演繹證明的基礎首先是定義，除了定義之外，那就是公理了。萊布尼茲在其晚年發表的一篇論文《數學的形而上學基礎》（寫於1716

>>阅读原文<<