作者kid1206 (KID)
看板Inference
標題Re: [請益]進階三段邏輯題
時間Sun Jul 5 02:42:05 2009
※ 引述《ntddt (哀便毛)》之銘言：
※ [本文轉錄自 logic 看板]
作者: ntddt (哀便毛) 看板: logic
標題: [請益]進階三段邏輯題
時間: Tue Apr 7 20:18:41 2009
因不知如何search這題目是否在文章內文問過, 所以先問大家, ^^"
希望諸位高手指出我的盲點, Thanks!
前提:
1. Some Little Dog are not Mean Animals
2. All Dogs are Animals
結論:
Some dogs are mean
請問這樣推論是否合理?
網路上正確解答是 "不合理"
理由是:
Minimal missing premise:
It exists something that is dog and mean or dog and not animal
我用范氏圖解法解題
就是先畫三個有交集的圈圈(就像光的三原色圖會出現的那種三個圈圈)
三個圈圈分別是A B C圈 ABC 解釋如下:
然後原題目
前提:
1. Some Little Dog(A) are not Mean Animals(B)
2. All Dogs(A) are Animals(C)
結論:
Some dogs(A) are mean(B)
由前提1可確定 集合A-B有東西存在 而A交集B可能有東西可能沒東西
由前提2可確定 集合A交集C有東西存在 而集合A-C沒有東西存在
綜合前提1 2可確定集合(A交集C)-B有東西存在 且集合A-C沒有東西存在
但不能確定 集合A交集B交集C有沒有東西存在
所以也不能確定集合A交集B有沒有東西存在
故無法得出結論=>推論不合理!!
很遺憾我不會畫圖 以上這樣講我知道不清楚 僅供參考
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 203.73.48.17
※ 編輯: ntddt 來自: 203.73.48.17 (04/07 20:19)
※ 編輯: ntddt 來自: 203.73.48.17 (04/07 20:19)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 203.73.48.17
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.129.77.208