作者andy2007 (...)
看板Math
標題[其他] 邏輯推論的有效性
時間Sun May 22 17:04:55 2011
各位前輩好，不知道這裡可不可以問邏輯的問題，如果有違反版規會刪除的。
題目如下：
下列是推論，橫線之上是推論的條件，橫線之下是推論之結論，試問推論是否成立？
其中：推論有效
肯定前項→肯定後項
否定後項→否定前項
推論無效
肯定後項→肯定前項
否定前項→否定後項
在有效推論原則中，推論語句的「真假」不會妨礙推論有效性的成立。
=======================================
例如：
識時務者為俊傑 (推論) Ａ→Ｂ
張三不是俊傑 (推論的條件) －Ｂ
──────
張三不識時務 (推論的結論) －Ａ
推論為：（Ａ→Ｂ）
否定後項→否定前項 => 推論有效
=======================================
我要問的題目為：
臺南不在美國 Ａ→Ｂ
臺灣不在美國 Ｂ
──────
臺南在臺灣
它這裡說「臺南在臺灣」這個詞，應該要怎麼想呢？
如果說肯定前項、否定前項，這樣感覺又好像不對，因為不是說「臺灣（不）在臺南」
========================================
另外還有相似的問題：
馬不是羊 Ａ→Ｂ
牛不是羊 Ｂ
────
馬不是牛
========================================
甲乙兩人之一謀害丙 (推論符號該如何寫呢？) （ＡˇＢ）→Ｃ這樣子可以嗎？
甲並未謀害丙
──────
乙謀害丙
===
邏輯觀念不好，請各位前輩們指點迷津
再次感謝您們的幫忙，謝謝您們～
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.125.169.71
※ 編輯: andy2007 來自: 140.125.169.71 (05/22 17:05)
1F：推 s511320 :從結果往前推試試看 05/22 17:31
2F：→ andy2007 :謝謝前輩～可以說明的詳細點嗎 Orz 05/22 19:11
3F：推 mk426375 :1. p V q 2. -p /∴ q 05/22 23:00
4F：→ mk426375 :其實這篇文的問題用述詞邏輯會比較好處理@@ 05/22 23:02
5F：→ mk426375 :不過單純論有效性，只要不會有"前提全真而結論假" 05/22 23:03
6F：→ mk426375 :的情形出現就算有效 05/22 23:04