作者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