邏 輯課程網頁：http:/homepage.ntu.edu.tw/d97227201/第十一週：自然演繹法：蘊含規則一、簡 介 自然演繹法(method of natural deduction)：透過推論規則來評估論證有效性的一種方法。 自然演繹法的優點：遇到包含較多原子語句的論證，它比真值表法簡單。 自然演繹法的缺點：它只能證明有效論證，不能證明論證的無效性。一、簡 介 自然演繹法包含兩大部分： 1.十八條推論規則(rule of inference) ： (1)所有推論規則不是有效論證，就是邏輯上等值的語句。 (2)為什麼需要十八條規則？ 2.三個推論形式(form of inference) ： (1)直接證法(direct proof)：本課程的教學目標 (2)條件證法(conditional proof) (3)間接證法(indirect proof)一、簡 介 十八條推論規則可分為兩類： 1.蘊含規則：這類規則本身就是一個有效論證，從前提可以導出結論，但不能從結論逆推回前提。 2.替代規則：以邏輯等值的形式來陳述規則，在 兩邊的語句是邏輯上等值的，可以彼此替代。蘊含規則
