Re: [請益] 台大邏輯

[MathTurtle (恩典)]

※ 引述《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
推 yauhh:
→ Searle:哭哭 錯了
推 ksmrt0123:這個式子有單一作者的意思 但原文沒有
→ Searle:恩 了解~
→ MathTurtle:the author 有單一的意思, 這是一般的考法...
→ MathTurtle:如果是考試的話, 比較可能考的是確定描述詞
推 ksmrt0123:嗯 英文就不至於混淆 也許中文題目選西遊記跟老殘遊記
→ ksmrt0123:這兩本著名的單一作者書籍也是想補充中文語意之不足吧
→ somedoubt:應該只是(X)(Gx->~Px)就可以了吧?
→ zxcv7747:樓上 不對吧 那兩本書的作者是特定的人 所以還是要用確定
→ zxcv7747:述詞來翻吧