※ 引述《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
推
06/17 07:19, , 1F
06/17 07:19, 1F
→
06/17 07:19, , 2F
06/17 07:19, 2F
→
06/17 21:14, , 3F
06/17 21:14, 3F
→
06/30 08:38, , 4F
06/30 08:38, 4F
→
06/30 08:39, , 5F
06/30 08:39, 5F
→
07/01 14:16, , 6F
07/01 14:16, 6F
→
07/01 14:17, , 7F
07/01 14:17, 7F
討論串 (同標題文章)