看板 [ logic ]
討論串[請益] 述詞翻譯問題
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [請益] 述詞翻譯問題
推噓1(1推 0噓 0→)留言1則，0人參與, 最新作者MathTurtle (恩典)時間14年前 (2012/02/14 20:42), 編輯資訊
0
0
0
內容預覽:
我其實覺得你的答案才是對的。. 前面那句 for all x,for all y((PxΛPyΛ～Lxx) -> x=y)),. 意思會變成任何不喜歡自己的人, 都會等於任何其它人,. 換言之它會推論出: 只要有一個人不喜歡自己, 那麼全世界只有一個人,. 而這明顯不是「最多只有一個人不喜歡自己的意
(還有573個字)
#1
[請益] 述詞翻譯問題
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者chantaltw (nous)時間14年前 (2012/02/14 19:21), 編輯資訊
0
0
0
內容預覽:
這是我剛剛做的考古題，答案是網路上有人提供找到的。. 我想請問. Px : x是人. Lxy：x喜歡y. 最多只有一個人不喜歡自己. 網路提供的答案是. for all x,for all y((PxΛPyΛ～Lxx) -> x=y)). 為何不是. for all x,for all y((PxΛ
(還有224個字)
首頁
上一頁
1
下一頁
尾頁