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