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

看板logic作者 (深奧幽玄)時間15年前 (2009/03/04 23:54), 編輯推噓1(1推 0噓 0→)
留言1則, 1人參與, 最新討論串4/6 (看更多)
※ 引述《YuGar (深奧幽玄)》之銘言：
→
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 我還是不知道哪裡寫錯，請高手指導一下，感謝。
→
03/03 21:14,
所以再定義一個 x =/= y 應該就可以了吧？
03/03 21:14
推
03/04 14:50,
回樓上,的確需要定義x不等於y.但是光這樣還不夠,如同k大所
03/04 14:50
→
03/04 14:52,
言,少了exactly 2.你必須明確的指出如果還有別的professor
03/04 14:52
→
03/04 14:54,
z,那麼z必然是x或y.以model的觀點來看,如果不加入前述的
03/04 14:54
→
03/04 14:56,
句子,那麼z是否為professor都符合你的邏輯句子,即使z不等於
03/04 14:56
→
03/04 14:57,
x或y.如此一來,不就變成可能有3個professors以上了嗎? :)
03/04 14:57
如果補上定義 x =/= y 還是不能成立 exactly two philosphers？ 小弟再向各位請教何謂 exactly two philosphers 呢？ 拜託指導一下。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 122.116.237.119
推
03/06 04:45, , 1F
你有看MathTurtle的文章嗎? 他有把式子寫出來
03/06 04:45, 1F
‣ 更多 YuGar 的文章
文章代碼(AID): #19hgG__4 (logic)
討論串 (同標題文章)
本文引述了以下文章的的內容：
以下文章回應了本文：
完整討論串 (本文為第 4 之 6 篇)：
排序： 最舊先 | 最新先 | 留言數
在新視窗開啟完整討論串 (共6篇)
‣ 更多 YuGar 的文章
文章代碼(AID): #19hgG__4 (logic)