這是我剛剛做的考古題，答案是網路上有人提供找到的。
我想請問
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)