進階三段邏輯題 - 推理遊戲

※ 引述《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有沒有東西存在
故無法得出結論=>推論不合理!!

很遺憾我不會畫圖 以上這樣講我知道不清楚 僅供參考


--