這種命題邏輯是英國數學家布爾(George Boole, 1815-1864) 所引進。其實,他也. 將代數符號運算引進邏輯推論,為邏輯的形式化奠定了基礎. 為邏輯的形式化奠定了基礎.
確定! 回上一頁