逻辑：真值表法III-myweb.PPT

邏 輯課程網頁：.tw/~ 第十週： 真值表法Ⅲ：判斷論證的有效性 一、真值表法用於論證 真值表法可以用來檢驗一個論證是有效論證，還是無效論證。 真值表法考慮前提和結論在邏輯上的「所有可能情況」。 真值表法判斷論證有效或無效的標準依賴的是「語意」上的有效推論關係：在前提為真的所有可能情況中，結論不可能為假。 一、真值表法用於論證 真值表法的檢驗步驟： 1.將論證符號化。 2.寫出符號化後的論證：前提與前提之間以豆號，分隔，在最後一個前提和結論之間以 ∕∴分隔。 3.為符號化後的論證的前提和結論分別畫出真值表。 4.檢查有沒有在哪種邏輯可能性中「前提皆真而結論為假」。 如果有，那麼這個論證是無效論證。 如果沒有，那麼這個論證有效論證。 一、真值表法用於論證 例1：A? B ∕∴ ~A ? B 有效論證 例2： K ? ~L , ~(L ? ~K) ∕∴ ~K ? L 一、真值表法用於論證 例3：p→q, q→r ∕∴ p→r 有效論證 一、真值表法用於論證 例4：p→q, q→r ∕∴ p ? r 無效論證 一、真值表法用於論證 【練習題】：用真值表法判斷以下論證是有效論證還是無效論證 例1：~A ? ~M ∕∴ ~ (A ? M) 無效 例2：~ (G ? M) , M ? ~G ∕∴ ~G 有效 例3： A → (N ? Q) , ~ (N ? ~A) ∕∴ A→Q 有效 例4：~ (K ? S) , S→ ~ (R ? K) ∕∴ R ? ~S 無效 有趣的推理：讀心術Ⅰ 從1到63選一個數字，我可以說出你想的數字是什麼！ 二、真值表法的綜合概念 如果一個論證有不一致的前提，那麼這個論證（無論其結論為何）必然是有效論證。 例如： ~F ? M, ~(F ? M) ∕∴ ~M 如果一個論證只有一個前提，而這個前提是矛盾句，那麼這個論證（無論其結論為何）必然是有效論證。 例如： A ? ~A ∕∴ ~B 如果一個論證的結論是套套邏輯，那麼這個論證（無論其前提為何）必然是有效論證。 例如： B ∕∴ R ? ~R 二、真值表法的綜合概念 如果一個論證的前提是套套邏輯，結論也是一個套套邏輯，那麼這個論證必然是有效論證。 如果一個論證的前提是套套邏輯，結論不是套套邏輯，那麼這個論證必然是無效論證。 如果一個論證的結論是矛盾句（邏輯上必然為假），那麼在以下兩種情況，這個論證有效： 1.前提裡至少有一個矛盾句。 2.前提不一致。 三、日常推理的應用 例1：如果積體電路板是用鑽石晶片做成的，那麼電腦的運轉溫度會比較低。電腦的運轉溫度不會比較低而且積體電路板是用鑽石晶片做成的。因此，電腦的運轉溫度會比較低或者積體電路板不是用鑽石晶片做成的。 請問：這是一個有效論證嗎？ 提示：把這個論證的前提和結論翻譯成邏輯語句，而後用真值表分析一下，看看它是不是有效論證。 三、日常推理的應用 M = 積體電路板是用鑽石晶片做成的 C = 電腦的運轉溫度會比較低 論證：M → C , ~C ? M ∕∴ C ? ~M 有效論證 三、日常推理的應用 例2：如果大學畢業生缺乏閱讀能力，那麼他們將沒有辦法跟別人競爭。如果大學畢業生缺乏寫作能力，那麼他們將沒有辦法跟別人競爭。因此，如果大學畢業生缺乏閱讀能力，那麼他們將缺乏寫作能力。 請問：這是一個有效論證嗎？ 提示：把這個論證的前提和結論翻譯成邏輯語句，而後用真值表分析一下，看看它是不是有效論證。 三、日常推理的應用 H = 大學畢業生具備閱讀能力 C = 大學畢業生將可以跟別人競爭 W = 大學畢業生具備寫作能力 論證：~H → ~C,