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