→ 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 呢？
拜託指導一下。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 122.116.237.119
推 ksmrt0123:你有看MathTurtle的文章嗎? 他有把式子寫出來 03/06 04:45