... 性和蘊涵的冪等性;4:合取的交換性;De Morgan 對偶性: 所有邏輯運算元都對偶於另一個。經典邏輯的例子喬治·布爾的代數的重新邏輯形式化為布爾邏輯;Gottlob Frege 的概.
確定! 回上一頁