Re: [請益]進階三段邏輯題

看板Inference (推理遊戲)作者kid1206 (KID)時間15年前 (2009/07/05 02:42)推噓0(0推 0噓 0→)

留言0則, 0人參與討論串2/4 (看更多)

※ 引述《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