[請益] 台大邏輯

看板logic作者 (♂擁抱後的寂寞♀)時間16年前 (2010/03/03 07:44), 編輯推噓0(0推 0噓 1→)
留言1則, 1人參與, 最新討論串1/2 (看更多)
有一題symbolize 西遊記的作者不是老殘遊記的作者 Px = 西遊記的作者 Gx = 老殘遊記的作者 這題怎麼量化才是對的? 我的寫法是 Ex = there exists x Ex(Px and Ey(Gy and x!=y)) 倒是這證明竟然沒考幾題... 考了一堆其他的邏輯... -- 諸葛亮：「魯肅，近來可好？」 魯肅：「安然無恙。」 諸葛亮：「魯夫人呢？」 魯肅：「他應該在偉大的航道上。」 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 59.127.143.84
→
03/03 07:46, , 1F
不過感覺這種確定描述詞還要加上for all..
03/03 07:46, 1F
‣ 更多 Searle 的文章
文章代碼(AID): #1BZQBjrD (logic)
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共2篇)
‣ 更多 Searle 的文章
文章代碼(AID): #1BZQBjrD (logic)