作者chantaltw (nous)
看板logic
标题[请益] 述词翻译问题
时间Tue Feb 14 19:21:10 2012
这是我刚刚做的考古题，答案是网路上有人提供找到的。
我想请问
Px : x是人
Lxy：x喜欢y
最多只有一个人不喜欢自己
网路提供的答案是
for all x,for all y((PxΛPyΛ～Lxx) -> x=y))
为何不是
for all x,for all y((PxΛPyΛ～LxxΛ～Lyy) -> x=y))
--------------------------------------------------------
No one knows anybody.
(Domain＝unrestricted
Px : x is human
Kxy :x knows y)
网路提供答案为:
～存在x(PxΛ 存在y(PyΛKxy))
为什麽不是这样??....～存在x(PxΛ for all y(若Py则Kxy))
每次写都跟答案不一样，我开始觉得我根本不懂关系述词(叹)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.119.49.33
※ 编辑: chantaltw 来自: 140.119.49.33 (02/14 19:36)