作者dudubar (haha)
看板logic
标题[请益] 如何用文氏图说明三段论?
时间Sat Jun 6 13:06:13 2009
题目为:
1. 所有哲学家都是聪明的。
2. 有些科学家是聪明的。
3. 有些科学家是哲学家。
想请问如何用文氏图说明这题目是错误的
我看到的例子都是先假设三个圈圈a,b,c
a:哲学家
b:聪明的
c:科学家
然後由1来看可以把不聪明的哲学家画上斜线
之後2时,就不知道如何画上斜线了
请教大家如何用文氏图解释这题目
谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.172.83.92
1F：推 pizza0117:题目有错吗? 06/06 15:49
2F：→ pizza0117:"哲学家"是"聪明的"的子集合(大圈里头的小圈) 06/06 15:50
3F：→ pizza0117:而科学家是另外一个圈,有一部分圈到"聪明的" 06/06 15:50
4F：→ pizza0117:圈到"聪明的"部分的 一部份圈到"哲学家" 06/06 15:50
5F：推 luciferii:为什麽圈到"聪明的"部分还要去圈到哲学家? 06/06 23:43
6F：推 luciferii:还有原po图里怎会有「不聪明的哲学家」的区块? 06/06 23:45
7F：推 pizza0117:因为有些科学家是哲学家且是聪明的 06/07 23:02
8F：推 luciferii:1+2 无法推得 3 06/08 01:13
9F：推 teves:2大概是在聪明的科学家内做上非空记号 06/08 08:52
10F：→ teves:然後科学家哲学家交集部份什麽都没写所以无法推得 06/08 08:53
11F：推 zoneline:我觉得楼上是正确答案 06/08 19:54
12F：推 mikechan:a包含於b b c交集非空 a c交集非空 06/09 00:48
13F：推 luciferii:原po应该是要证明这题推论是错的 06/09 03:57
14F：推 bonniekiss2:题目真的有错啊@@ 06/13 14:43
15F：推 aletheia:说明为什麽它错吧 06/13 19:55
16F：推 AngelFish925:就像t大说的啊 交集未知 聪明的科学家可以不是哲学家 06/14 07:27
17F：→ AngelFish925:除非1改成 所有聪明的人都是哲学家 06/14 07:28
19F：推 luciferii:楼上，前提里v勾倒三者交集就已经不对啦 06/15 17:43
20F：推 zoneline:那个v是因为前提只说有些科学家是聪明的 06/15 19:31
21F：→ zoneline:没有指定是"科学家且哲学家"或"科学家且非哲学家" 06/15 19:32
22F：→ zoneline:我用的是 柯比着，逻辑导论，修订本，香港公开大学出版 06/15 19:34
23F：→ zoneline:pp95. 因为这是我自修的 所以我也不太确定我对不对 06/15 19:34