逻辑：自然演绎法I - myweb.PPTVIP

三、蘊含規則 先想好要怎麼推出結論再下筆。 例如：1. E → (K→L) 2. F → (L→M) 3. G ? E 4. ~ G 5. F ∕∴ K→M 四、做推論的基本策略 1.先看在前提中是否有出現結論的符號。 2.如果結論包含某個字母，而這個字母是一個條件句前提的後件，則可考慮使用MP規則來證出結論。 例如：1. A→B 2. C ? A 3. A ∕∴ B 四、做推論的基本策略 3.如果結論包含某個字母，而這個字母是一個條件句前提的前件之否言，則可考慮使用MT規則。 例如：1. C→B 2. A→B 3. ~ B ∕∴ ~ A 4.如果結論是一個條件句，則可考慮使用HS規則。 例如：1. B→C 2. C→A 3. A→B ∕∴ A→C 四、做推論的基本策略 5.如果結論包含某個字母，而這個字母出現在一個選言的前提中，則可考慮使用DS規則來證出結論。 例如：1. A→B 2. A ? C 3. ~ A ∕∴ C 練習題 1. S ? F 2. (T→W) → ~S 3. R→(T→D) 4. D→W 5. R ∕∴ F 1. X→ ~Y 2. Y ? ~T 3. X 4. W→T ∕∴ ~W 1. A →(E →~F) 2. H ? (~F→M) 3. A 4. ~H ∕∴ E →M 練習題 1. (L ? M) →C 2. (L ? M) ? (P→ ~E) 3. ~ E →C 4. ~ C ∕∴~ P 挑戰題： 1. ~ A→(A ? (T→R)) 2. ~ R→(R ? (A→R)) 3. (T ? D)→ ~ R 4. T ? D ∕∴D 挑戰題： 1. ~ N→((B→D) →(N ? ~E)) 2. (B →E) → ~ N 3. B →D 4. D →E ∕∴ ~ D 有趣的推理：腦筋急轉彎 昨天我關掉房間的燈，可是我能從電燈開關走回床上，而開關離我的床有20公尺遠。 請問：我是怎麼辦到的？ 有天晚上張三正在讀一本有趣的書，他媽媽突然把燈關掉了。雖然房間全黑了，他還是繼續在讀書。 請問：張三是怎麼辦到的？ 邏 輯課程網頁：.tw/~ 第十一週： 自然演繹法Ⅰ：蘊含規則 一、簡 介 自然演繹法(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.替代規則：以邏輯等值的形式來陳述規則，在≡ 兩邊的語句是邏輯上等值的，可以彼此替代。 蘊含規則 前項肯定法(MP) p→q p ∴q 後項否定法(MT) p→q ~q ∴~p 假言三段論法(HS) p→q q→r ∴p→r 選言三段論法(DS) p ? q p ? q ~p ~q ∴ q ∴ p 建設性的兩難式(CD) p→q r→s p ? r ∴q ? s 簡化法(Simp) p ? q p ? q ∴p ∴q 並言法(Conj) p q ∴p ? q 增入法(Add) p ∴p ? q 替代規則 德摩根律(DeM)