[請益] 如何用文氏圖說明三段論?

看板logic作者 (haha)時間16年前 (2009/06/06 13:06), 編輯推噓15(15推 0噓 8→)
留言23則, 8人參與, 最新討論串1/3 (看更多)
題目為: 1. 所有哲學家都是聰明的。 2. 有些科學家是聰明的。 3. 有些科學家是哲學家。 想請問如何用文氏圖說明這題目是錯誤的 我看到的例子都是先假設三個圈圈a,b,c a:哲學家 b:聰明的 c:科學家 然後由1來看可以把不聰明的哲學家畫上斜線 之後2時,就不知道如何畫上斜線了 請教大家如何用文氏圖解釋這題目 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.172.83.92
推
06/06 15:49, , 1F
題目有錯嗎?
06/06 15:49, 1F
→
06/06 15:50, , 2F
"哲學家"是"聰明的"的子集合(大圈裡頭的小圈)
06/06 15:50, 2F
→
06/06 15:50, , 3F
而科學家是另外一個圈,有一部分圈到"聰明的"
06/06 15:50, 3F
→
06/06 15:50, , 4F
圈到"聰明的"部分的 一部份圈到"哲學家"
06/06 15:50, 4F
推
06/06 23:43, , 5F
為什麼圈到"聰明的"部分還要去圈到哲學家?
06/06 23:43, 5F
推
06/06 23:45, , 6F
還有原po圖裏怎會有「不聰明的哲學家」的區塊?
06/06 23:45, 6F
推
06/07 23:02, , 7F
因為有些科學家是哲學家且是聰明的
06/07 23:02, 7F
推
06/08 01:13, , 8F
1+2 無法推得 3
06/08 01:13, 8F
推
06/08 08:52, , 9F
2大概是在聰明的科學家內做上非空記號
06/08 08:52, 9F
→
06/08 08:53, , 10F
然後科學家哲學家交集部份什麼都沒寫所以無法推得
06/08 08:53, 10F
推
06/08 19:54, , 11F
我覺得樓上是正確答案
06/08 19:54, 11F
推
06/09 00:48, , 12F
a包含於b b c交集非空 a c交集非空
06/09 00:48, 12F
推
06/09 03:57, , 13F
原po應該是要證明這題推論是錯的
06/09 03:57, 13F
推
06/13 14:43, , 14F
題目真的有錯啊@@
06/13 14:43, 14F
推
06/13 19:55, , 15F
說明為什麼它錯吧
06/13 19:55, 15F
推
06/14 07:27, , 16F
就像t大說的啊 交集未知 聰明的科學家可以不是哲學家
06/14 07:27, 16F
→
06/14 07:28, , 17F
除非1改成 所有聰明的人都是哲學家
06/14 07:28, 17F
推
06/15 16:29, , 18F
http://0rz.tw/gBmJt 有v代表存在 前提v的地方不蘊涵結論
06/15 16:29, 18F
推
06/15 17:43, , 19F
樓上，前提裏v勾倒三者交集就已經不對啦
06/15 17:43, 19F
推
06/15 19:31, , 20F
那個v是因為前提只說有些科學家是聰明的
06/15 19:31, 20F
→
06/15 19:32, , 21F
沒有指定是"科學家且哲學家"或"科學家且非哲學家"
06/15 19:32, 21F
→
06/15 19:34, , 22F
我用的是 柯比著，邏輯導論，修訂本，香港公開大學出版
06/15 19:34, 22F
→
06/15 19:34, , 23F
pp95. 因為這是我自修的 所以我也不太確定我對不對
06/15 19:34, 23F
‣ 更多 dudubar 的文章
文章代碼(AID): #1AAVb68D (logic)
討論串 (同標題文章)
以下文章回應了本文 (最舊先)：
完整討論串 (本文為第 1 之 3 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共3篇)
‣ 更多 dudubar 的文章
文章代碼(AID): #1AAVb68D (logic)