作者YuGar (深奥幽玄)
看板logic
标题Re: [请益] 题目两题请教
时间Wed Mar 4 23:54:34 2009
※ 引述《YuGar (深奥幽玄)》之铭言：
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
我还是不知道哪里写错，请高手指导一下，感谢。
6F：→ YuGar:所以再定义一个 x =/= y 应该就可以了吧？ 03/03 21:14
7F：推 cmlrdg:回楼上,的确需要定义x不等於y.但是光这样还不够,如同k大所 03/04 14:50
8F：→ cmlrdg:言,少了exactly 2.你必须明确的指出如果还有别的professor 03/04 14:52
9F：→ cmlrdg:z,那麽z必然是x或y.以model的观点来看,如果不加入前述的 03/04 14:54
10F：→ cmlrdg:句子,那麽z是否为professor都符合你的逻辑句子,即使z不等於 03/04 14:56
11F：→ cmlrdg:x或y.如此一来,不就变成可能有3个professors以上了吗? :) 03/04 14:57
如果补上定义 x =/= y 还是不能成立 exactly two philosphers？
小弟再向各位请教何谓 exactly two philosphers 呢？
拜托指导一下。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 122.116.237.119
12F：推 ksmrt0123:你有看MathTurtle的文章吗? 他有把式子写出来 03/06 04:45