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

[dudubar (haha)]

        題目為:
        1. 所有哲學家都是聰明的。
        2. 有些科學家是聰明的。
        3. 有些科學家是哲學家。

        想請問如何用文氏圖說明這題目是錯誤的

        我看到的例子都是先假設三個圈圈a,b,c

        a:哲學家
        b:聰明的
        c:科學家

        然後由1來看可以把不聰明的哲學家畫上斜線

        之後2時,就不知道如何畫上斜線了

        請教大家如何用文氏圖解釋這題目

        謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 218.172.83.92
推 pizza0117:題目有錯嗎?
→ pizza0117:"哲學家"是"聰明的"的子集合(大圈裡頭的小圈)
→ pizza0117:而科學家是另外一個圈,有一部分圈到"聰明的"
→ pizza0117:圈到"聰明的"部分的 一部份圈到"哲學家"
推 luciferii:為什麼圈到"聰明的"部分還要去圈到哲學家?
推 luciferii:還有原po圖裏怎會有「不聰明的哲學家」的區塊?
推 pizza0117:因為有些科學家是哲學家且是聰明的
推 luciferii:1+2 無法推得 3
推 teves:2大概是在聰明的科學家內做上非空記號
→ teves:然後科學家哲學家交集部份什麼都沒寫所以無法推得
推 zoneline:我覺得樓上是正確答案
推 mikechan:a包含於b  b c交集非空  a c交集非空
推 luciferii:原po應該是要證明這題推論是錯的
推 bonniekiss2:題目真的有錯啊@@
推 aletheia:說明為什麼它錯吧
推 AngelFish925:就像t大說的啊 交集未知 聰明的科學家可以不是哲學家
→ AngelFish925:除非1改成 所有聰明的人都是哲學家
推 zoneline:http://0rz.tw/gBmJt 有v代表存在 前提v的地方不蘊涵結論
推 luciferii:樓上，前提裏v勾倒三者交集就已經不對啦
推 zoneline:那個v是因為前提只說有些科學家是聰明的
→ zoneline:沒有指定是"科學家且哲學家"或"科學家且非哲學家"
→ zoneline:我用的是 柯比著，邏輯導論，修訂本，香港公開大學出版
→ zoneline:pp95.    因為這是我自修的  所以我也不太確定我對不對