進階三段邏輯題 - 拼圖

※ [本文轉錄自 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

但我想法比較單純, 我覺得是"合理"原因如下:
假設有以下幾類樣本, 讀法是 e.g.
1: Little + Dog + Not Mean + Animal
2: Little + Dog + Mean + Not Animal
...

| L | D | M | A
------------------------
1 | O | O | X | O
2 | O | O | O | X
3 | O | O | X | X
4 | O | O | O | O

前提2成立: 樣本2,3不存在
前提1成立: 樣本1,4同時存在,
因為只存在
樣本1的話, 前提應該是All Little Dog are not Mean Animal
樣本4的話, 前提應該是All Little Dog are Mean Animal
所以1,4同時存在, 表示Some Little Dog are Mean Animal->Some Dog are Mean

請指正, 謝謝

--