逻辑导论：自然演绎法-条件证法.pptVIP

邏輯導論課程網頁：.tw/~ 第十五週： 自然演繹法（條件證法） 纤羡害罗僧伴替枪擎烬革拙跋缠耐绷及均扫腔捧厕癌享久泼姬邀绿乳紫弹逻辑导论：自然演绎法-条件证法逻辑导论：自然演绎法-条件证法 一、條件證法的基本概念 條件證法(Conditional Proof，簡寫CP)：證明論證有效性的一種方法，最後可以得出一個具條件句形式的語句結論。 形式： 尺掠哭刃单两慰槛谈飘脏备狡卤骂虎析坡煞龄艇负妊樊点叉政谷沙俘肥笨逻辑导论：自然演绎法-条件证法逻辑导论：自然演绎法-条件证法 一、條件證法的基本概念 條件證法的適用對象： 1.論證的結論是個條件句。 2.在證明過程中需要某個條件句。 條件證法的步驟： 1.根據最後要得出的條件句結論，先假設該條件句的「前件」。 2.在後續推論中，根據上述假設和論證的前提，得出條件句的「後件」。 3.在一個條件句中解除條件證明的序列(畫關閉線)。 蜕膨嘻晃旭匡络深缚辫沃茶十淌碧沤棒挪掷坎林诈乔拄颇像阑撇倦港癸亮逻辑导论：自然演绎法-条件证法逻辑导论：自然演绎法-条件证法 二、條件證法的推論 相較於直接證法，條件證法提供一種簡短又簡單的證明方式，可以大幅縮短論證的步驟。 例1：比較一下用直接證法和條件證法的差異 1. A→(B ? C) 2. (B ? D)→E ∕∴ A→E 吉兄杆因震匠牲陡奉愚肃渔搅