作者YuGar (深奧幽玄)
看板logic
標題Re: [請益] 題目兩題請教
時間Tue Mar 3 20:22:32 2009
1F：→ krisnight:這種東西該自己念，找邏輯教科書，從頭念到述詞邏輯那章 02/27 22:30
2F：→ krisnight:，你就會了。 02/27 22:30
3F：推 YuGar:Px, Py, Lxy, Lyy 一行解決 02/27 23:43
4F：推 fourchette:樓上的回答有問題。那只是其中一種情況而且沒"exactly" 02/28 22:57
5F：→ 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
我還是不知道哪裡寫錯，請高手指導一下，感謝。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 122.116.237.119
6F：推 ksmrt0123:Px,Py 只是說 x,y 均為prilosophers, 無exactly 2之意 03/03 21:03
7F：→ ksmrt0123:Lxy表x loves y, Lyy表y loves y.. 03/03 21:04
8F：→ ksmrt0123:所以 y 愛自己... hmm... 似乎也不是不可以 03/03 21:05
9F：推 ksmrt0123:你先看一下上一篇好了... 03/03 21:07
10F：→ YuGar:所以再定義一個 x =/= y 應該就可以了吧？ 03/03 21:14
11F：推 cmlrdg:回樓上,的確需要定義x不等於y.但是光這樣還不夠,如同k大所 03/04 14:50
12F：→ cmlrdg:言,少了exactly 2.你必須明確的指出如果還有別的professor 03/04 14:52
13F：→ cmlrdg:z,那麼z必然是x或y.以model的觀點來看,如果不加入前述的 03/04 14:54
14F：→ cmlrdg:句子,那麼z是否為professor都符合你的邏輯句子,即使z不等於 03/04 14:56
15F：→ cmlrdg:x或y.如此一來,不就變成可能有3個professors以上了嗎? :) 03/04 14:57