自然演繹法(natural deduction)是大多數基礎邏輯課程中所教的證明系統,然而不同 ... 的規則,然而也有少數中英文基礎邏輯或中階邏輯教科書是採用「Gentzen系統」。
確定! 回上一頁