基礎邏輯教的「modus ponens」,完整的拉丁名稱是「modus ponendo ponens」,中文翻譯有「離斷律」和「正斷律」。這條規則說的是從(1) 和(2) 可以推論出(3) 。
確定! 回上一頁