作者aletheia (cOnJeCTuRe)
看板logic
标题Re: [请益] 题目两题请教
时间Thu Mar 5 01:04:57 2009
※ 引述《YuGar (深奥幽玄)》之铭言：
: ※ 引述《YuGar (深奥幽玄)》之铭言：
: → krisnight:这种东西该自己念，找逻辑教科书，从头念到述词逻辑那章 02/27 22:30
: → krisnight:，你就会了。 02/27 22:30
: 推 YuGar:Px, Py, Lxy, Lyy 一行解决 02/27 23:43
: 推 fourchette:楼上的回答有问题。那只是其中一种情况而且没"exactly" 02/28 22:57
: → 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
: 我还是不知道哪里写错，请高手指导一下，感谢。
: → YuGar:所以再定义一个 x =/= y 应该就可以了吧？ 03/03 21:14
: 推 cmlrdg:回楼上,的确需要定义x不等於y.但是光这样还不够,如同k大所 03/04 14:50
: → cmlrdg:言,少了exactly 2.你必须明确的指出如果还有别的professor 03/04 14:52
: → cmlrdg:z,那麽z必然是x或y.以model的观点来看,如果不加入前述的 03/04 14:54
: → cmlrdg:句子,那麽z是否为professor都符合你的逻辑句子,即使z不等於 03/04 14:56
: → cmlrdg:x或y.如此一来,不就变成可能有3个professors以上了吗? :) 03/04 14:57
: 如果补上定义 x =/= y 还是不能成立 exactly two philosphers？
: 小弟再向各位请教何谓 exactly two philosphers 呢？
: 拜托指导一下。
原句子是 "正好有两个哲学家喜欢同一位哲学家"
按照你的做法 你的句子最多是这样 "哲学家x,y喜欢哲学家y且x不是y"
抱歉 这formula是我猜的 因为你也没写出来
这两个句子是不一样的
假定现在有三个哲学家a,b,c 而a,b,c都喜欢a
这状况符合上面的formula 不过不符合原本的意思
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.134.201.196
※ 编辑: aletheia 来自: 220.134.201.196 (03/05 01:19)
1F：推 cmlrdg:推版主的回应.如同我的推文,z是不是professor是undefined. 03/05 01:42
2F：→ cmlrdg:因此z不管是不是professor都满足你给的句子.如此就不是题目 03/05 01:43
3F：→ cmlrdg:所要求的exactly 2.你给的句子包含了exactly 2和超过两位 03/05 01:45
4F：→ cmlrdg:professors的情况(如同板大举的例子),因此需要多加一些条件 03/05 01:46
5F：→ cmlrdg:以便"过滤"掉超过两位的情况. :) 03/05 01:46
6F：→ aletheia:有数龟大师在 再怎麽样都不能用大 03/06 01:00
7F：推 cmlrdg:收到! XD 03/06 01:16