作者YuGar (深奥幽玄)
看板logic
标题Re: [请益] 题目两题请教
时间Tue Mar 3 20:22:32 2009
1F：→ krisnight:这种东西该自己念，找逻辑教科书，从头念到述词逻辑那章 02/27 22:30
2F：→ krisnight:，你就会了。 02/27 22:30
3F：推 YuGar:Px, Py, Lxy, Lyy 一行解决 02/27 23:43
4F：推 fourchette:楼上的回答有问题。那只是其中一种情况而且没"exactly" 02/28 22:57
5F：→ fourchette:这种东西要自己用想的。光用念的很难"透彻地"了解。 02/28 23:01
原来的问题是「将下面的句子符号化」：
1.There are exaclty two philosophers who love the same philosopher.
那 Px, Py 定义 exactly two philosophers
然後再用 Lxy, Lyy 定义 who loves the same philosopher
我还是不知道哪里写错，请高手指导一下，感谢。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 122.116.237.119
6F：推 ksmrt0123:Px,Py 只是说 x,y 均为prilosophers, 无exactly 2之意 03/03 21:03
7F：→ ksmrt0123:Lxy表x loves y, Lyy表y loves y.. 03/03 21:04
8F：→ ksmrt0123:所以 y 爱自己... hmm... 似乎也不是不可以 03/03 21:05
9F：推 ksmrt0123:你先看一下上一篇好了... 03/03 21:07
10F：→ YuGar:所以再定义一个 x =/= y 应该就可以了吧？ 03/03 21:14
11F：推 cmlrdg:回楼上,的确需要定义x不等於y.但是光这样还不够,如同k大所 03/04 14:50
12F：→ cmlrdg:言,少了exactly 2.你必须明确的指出如果还有别的professor 03/04 14:52
13F：→ cmlrdg:z,那麽z必然是x或y.以model的观点来看,如果不加入前述的 03/04 14:54
14F：→ cmlrdg:句子,那麽z是否为professor都符合你的逻辑句子,即使z不等於 03/04 14:56
15F：→ cmlrdg:x或y.如此一来,不就变成可能有3个professors以上了吗? :) 03/04 14:57