作者MathTurtle (恩典)
看板logic
標題Re: [請益] 台大邏輯
時間Wed Mar 3 16:56:52 2010
※ 引述《Searle (♂擁抱後的寂寞♀)》之銘言：
: 有一題symbolize
: 西遊記的作者不是老殘遊記的作者
: Px = 西遊記的作者 Gx = 老殘遊記的作者
: 這題怎麼量化才是對的?
: 我的寫法是
: Ex = there exists x
: Ex(Px and Ey(Gy and x!=y))
: 倒是這證明竟然沒考幾題...
: 考了一堆其他的邏輯...
標準寫法應該是要用Russell的確定描述詞理論:
(Ex)(Ey)[Px & (u)(Pu->u=x) & Gy & (v)(Gv -> v=y) & ~x=y]
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 81.107.38.67
1F：推 yauhh: 03/03 21:49
2F：→ Searle:哭哭 錯了 03/03 22:21
3F：推 ksmrt0123:這個式子有單一作者的意思 但原文沒有 03/04 18:34
4F：→ Searle:恩 了解~ 03/04 18:51
5F：→ MathTurtle:the author 有單一的意思, 這是一般的考法... 03/04 19:02
6F：→ MathTurtle:如果是考試的話, 比較可能考的是確定描述詞 03/04 19:03
7F：推 ksmrt0123:嗯 英文就不至於混淆 也許中文題目選西遊記跟老殘遊記 03/04 20:01
8F：→ ksmrt0123:這兩本著名的單一作者書籍也是想補充中文語意之不足吧 03/04 20:04
9F：→ somedoubt:應該只是(X)(Gx->~Px)就可以了吧? 03/05 09:55
10F：→ zxcv7747:樓上 不對吧 那兩本書的作者是特定的人 所以還是要用確定 03/05 23:34
11F：→ zxcv7747:述詞來翻吧 03/05 23:34