作者yauhh (哟)
看板logic
标题Re: [请益] 如何用文氏图说明三段论?
时间Mon Jun 15 16:13:18 2009
※ 引述《dudubar (haha)》之铭言：
: 题目为:
: 1. 所有哲学家都是聪明的。
: 2. 有些科学家是聪明的。
: 3. 有些科学家是哲学家。
: 想请问如何用文氏图说明这题目是错误的
: 我看到的例子都是先假设三个圈圈a,b,c
: a:哲学家
: b:聪明的
: c:科学家
: 然後由1来看可以把不聪明的哲学家画上斜线
: 之後2时,就不知道如何画上斜线了
: 请教大家如何用文氏图解释这题目
: 谢谢
题目是
for all x . philosopher(x) -> smart(x)
exist x . scientist(x) -> smart(x)
-------------------------------------
exist x . scientist(x) -> philosopher(x)
这个论证错误,请用 Van's Diagram 显示出错误.
只要能画个不符合论证的例子即可.
+-------------------------------+
| Smart Guys |
| +-------------+ +-----------+ |
| | Philosopher | | Scientist | |
| +-------------+ +-----------+ |
+-------------------------------+
以上, Philosopher 属於 Smart Guys,所以 for all x . philosopher(x) -> smart(x).
Scientist 与 Smart Guys 交集不是空集合,所以 exist x . scientist(x)-> smart(x).
前提都满足了,但是 exist x . scientist(x) -> philosopher(x) 不满足,
因为 Scientist 和 Philosopher 的交集是空集合.
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.160.115.115
1F：推 jack10630:推 不过题目是说有些科学家是聪明的 科学家那个框框应 06/17 07:19
2F：→ jack10630:该扩张到聪明人之外比较正确~ 06/17 07:19
3F：→ yauhh:不,现在这样也算是有些科学家是聪明的 06/17 21:14
4F：→ sgwph:由2.3知 并非所有聪明的科学家都是哲学家 06/30 08:38
5F：→ sgwph:所以上面那个图 科学家和哲学家应该有交集吧 06/30 08:39
6F：→ yauhh:楼上,你要知道逻辑学中所说的论述是怎麽一回事... 07/01 14:16
7F：→ yauhh:第三条是结论,第二条是小前提,於是不会有由二,三知的这回事. 07/01 14:17