作者Searle (♂擁抱後的寂寞♀)
看板logic
標題[請益] 台大邏輯
時間Wed Mar 3 07:44:42 2010
有一題symbolize
西遊記的作者不是老殘遊記的作者
Px = 西遊記的作者 Gx = 老殘遊記的作者
這題怎麼量化才是對的?
我的寫法是
Ex = there exists x
Ex(Px and Ey(Gy and x!=y))
倒是這證明竟然沒考幾題...
考了一堆其他的邏輯...
--
諸葛亮：「魯肅，近來可好？」
魯肅：「安然無恙。」
諸葛亮：「魯夫人呢？」
魯肅：「他應該在偉大的航道上。」
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.127.143.84
1F：→ Searle:不過感覺這種確定描述詞還要加上for all.. 03/03 07:46