看板 [ logic ]
討論串[請益] 如何用文氏圖說明三段論?
共 3 篇文章
首頁
上一頁
1
下一頁
尾頁

推噓0(0推 0噓 0→)留言0則,0人參與, 最新作者kuopohung (風之過客)時間16年前 (2009/06/28 06:55), 編輯資訊
0
0
0
內容預覽:
來玩一下. 令哲學家為x 令科學家為y. 所有哲學家這一事件為Sx 哲學家聰明為T^2xc. (x) (Sx->T^2xc). 有些科學家. (Ey) ( Sy->T^2yc). (Ey) (Ex) (Sx->Sy). 當然推不出來. 沒一條邏輯公式是這樣玩的. --. 我應該翻譯有翻錯吧. ...

推噓1(1推 0噓 6→)留言7則,0人參與, 最新作者yauhh (喲)時間16年前 (2009/06/15 16:13), 編輯資訊
0
0
0
內容預覽:
題目是. for all x . philosopher(x) -> smart(x). exist x . scientist(x) -> smart(x). -------------------------------------. exist x . scientist(x) -> phil
(還有402個字)

推噓15(15推 0噓 8→)留言23則,0人參與, 最新作者dudubar (haha)時間16年前 (2009/06/06 13:06), 編輯資訊
0
0
0
內容預覽:
題目為:. 1. 所有哲學家都是聰明的。. 2. 有些科學家是聰明的。. 3. 有些科學家是哲學家。. 想請問如何用文氏圖說明這題目是錯誤的. 我看到的例子都是先假設三個圈圈a,b,c. a:哲學家. b:聰明的. c:科學家. 然後由1來看可以把不聰明的哲學家畫上斜線. 之後2時,就不知道如何畫上
首頁
上一頁
1
下一頁
尾頁