作者kuopohung (风之过客)
看板logic
标题Re: [请益] 如何用文氏图说明三段论?
时间Sun Jun 28 06:55:05 2009
※ 引述《dudubar (haha)》之铭言：
: 题目为:
: 1. 所有哲学家都是聪明的。
: 2. 有些科学家是聪明的。
: 3. 有些科学家是哲学家。
: 想请问如何用文氏图说明这题目是错误的
: 我看到的例子都是先假设三个圈圈a,b,c
: a:哲学家
: b:聪明的
: c:科学家
: 然後由1来看可以把不聪明的哲学家画上斜线
: 之後2时,就不知道如何画上斜线了
: 请教大家如何用文氏图解释这题目
: 谢谢
来玩一下
令哲学家为x 令科学家为y
所有哲学家这一事件为Sx 哲学家聪明为T^2xc
(x) (Sx->T^2xc)
有些科学家
(Ey) ( Sy->T^2yc)
(Ey) (Ex) (Sx->Sy)
当然推不出来
没一条逻辑公式是这样玩的
--
我应该翻译有翻错吧
.....
--
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 122.117.236.83