作者ntddt (哀便毛)
看板Inference
标题[请益]进阶三段逻辑题
时间Tue Apr 7 20:21:25 2009
※ [本文转录自 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
请指正, 谢谢
--
※ 发信站: 批踢踢实业坊(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