作者aletheia (cOnJeCTuRe)
看板logic
標題Re: [請益] 題目兩題請教
時間Thu Mar 5 01:04:57 2009
※ 引述《YuGar (深奧幽玄)》之銘言：
: ※ 引述《YuGar (深奧幽玄)》之銘言：
: → krisnight:這種東西該自己念，找邏輯教科書，從頭念到述詞邏輯那章 02/27 22:30
: → krisnight:，你就會了。 02/27 22:30
: 推 YuGar:Px, Py, Lxy, Lyy 一行解決 02/27 23:43
: 推 fourchette:樓上的回答有問題。那只是其中一種情況而且沒"exactly" 02/28 22:57
: → fourchette:這種東西要自己用想的。光用念的很難"透徹地"了解。 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
: 我還是不知道哪裡寫錯，請高手指導一下，感謝。
: → YuGar:所以再定義一個 x =/= y 應該就可以了吧？ 03/03 21:14
: 推 cmlrdg:回樓上,的確需要定義x不等於y.但是光這樣還不夠,如同k大所 03/04 14:50
: → cmlrdg:言,少了exactly 2.你必須明確的指出如果還有別的professor 03/04 14:52
: → cmlrdg:z,那麼z必然是x或y.以model的觀點來看,如果不加入前述的 03/04 14:54
: → cmlrdg:句子,那麼z是否為professor都符合你的邏輯句子,即使z不等於 03/04 14:56
: → cmlrdg:x或y.如此一來,不就變成可能有3個professors以上了嗎? :) 03/04 14:57
: 如果補上定義 x =/= y 還是不能成立 exactly two philosphers？
: 小弟再向各位請教何謂 exactly two philosphers 呢？
: 拜託指導一下。
原句子是 "正好有兩個哲學家喜歡同一位哲學家"
按照你的做法 你的句子最多是這樣 "哲學家x,y喜歡哲學家y且x不是y"
抱歉 這formula是我猜的 因為你也沒寫出來
這兩個句子是不一樣的
假定現在有三個哲學家a,b,c 而a,b,c都喜歡a
這狀況符合上面的formula 不過不符合原本的意思
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.134.201.196
※ 編輯: aletheia 來自: 220.134.201.196 (03/05 01:19)
1F：推 cmlrdg:推版主的回應.如同我的推文,z是不是professor是undefined. 03/05 01:42
2F：→ cmlrdg:因此z不管是不是professor都滿足你給的句子.如此就不是題目 03/05 01:43
3F：→ cmlrdg:所要求的exactly 2.你給的句子包含了exactly 2和超過兩位 03/05 01:45
4F：→ cmlrdg:professors的情況(如同板大舉的例子),因此需要多加一些條件 03/05 01:46
5F：→ cmlrdg:以便"過濾"掉超過兩位的情況. :) 03/05 01:46
6F：→ aletheia:有數龜大師在 再怎麼樣都不能用大 03/06 01:00
7F：推 cmlrdg:收到! XD 03/06 01:16