Re: [請益] 題目兩題請教
※ 引述《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)
推
03/05 01:42, , 1F
03/05 01:42, 1F
→
03/05 01:43, , 2F
03/05 01:43, 2F
→
03/05 01:45, , 3F
03/05 01:45, 3F
→
03/05 01:46, , 4F
03/05 01:46, 4F
→
03/05 01:46, , 5F
03/05 01:46, 5F
→
03/06 01:00, , 6F
03/06 01:00, 6F
推
03/06 01:16, , 7F
03/06 01:16, 7F
討論串 (同標題文章)