Re: [請益] 題目兩題請教

看板logic作者 (深奧幽玄)時間15年前 (2009/03/03 20:22), 編輯推噓3(3推 0噓 7→)
留言10則, 3人參與, 最新討論串3/6 (看更多)
→
02/27 22:30,
這種東西該自己念，找邏輯教科書，從頭念到述詞邏輯那章
02/27 22:30
→
02/27 22:30,
，你就會了。
02/27 22:30
推
02/27 23:43,
Px, Py, Lxy, Lyy 一行解決
02/27 23:43
推
02/28 22:57,
樓上的回答有問題。那只是其中一種情況而且沒"exactly"
02/28 22:57
→
02/28 23:01,
這種東西要自己用想的。光用念的很難"透徹地"了解。
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 我還是不知道哪裡寫錯，請高手指導一下，感謝。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 122.116.237.119
推
03/03 21:03, , 1F
Px,Py 只是說 x,y 均為prilosophers, 無exactly 2之意
03/03 21:03, 1F
→
03/03 21:04, , 2F
Lxy表x loves y, Lyy表y loves y..
03/03 21:04, 2F
→
03/03 21:05, , 3F
所以 y 愛自己... hmm... 似乎也不是不可以
03/03 21:05, 3F
推
03/03 21:07, , 4F
你先看一下上一篇好了...
03/03 21:07, 4F
→
03/03 21:14, , 5F
所以再定義一個 x =/= y 應該就可以了吧？
03/03 21:14, 5F
推
03/04 14:50, , 6F
回樓上,的確需要定義x不等於y.但是光這樣還不夠,如同k大所
03/04 14:50, 6F
→
03/04 14:52, , 7F
言,少了exactly 2.你必須明確的指出如果還有別的professor
03/04 14:52, 7F
→
03/04 14:54, , 8F
z,那麼z必然是x或y.以model的觀點來看,如果不加入前述的
03/04 14:54, 8F
→
03/04 14:56, , 9F
句子,那麼z是否為professor都符合你的邏輯句子,即使z不等於
03/04 14:56, 9F
→
03/04 14:57, , 10F
x或y.如此一來,不就變成可能有3個professors以上了嗎? :)
03/04 14:57, 10F
‣ 更多 YuGar 的文章
文章代碼(AID): #19hI4B4U (logic)
討論串 (同標題文章)
本文引述了以下文章的的內容：
以下文章回應了本文：
完整討論串 (本文為第 3 之 6 篇)：
排序： 最舊先 | 最新先 | 留言數
在新視窗開啟完整討論串 (共6篇)
‣ 更多 YuGar 的文章
文章代碼(AID): #19hI4B4U (logic)