由新到舊 由舊到新 日期篩選

・2020/09/07
萊布尼茲用符號列出交換律等規則,將交換律、加減法納入邏輯演算,但生前沒有公開。布爾用代數來表達傳統邏輯,用1與0代表命題真偽,再訂出結合律、分配律等基本公理,將邏輯數學化。