討論串(共6篇) - [請益] 題目兩題請教 - 看板logic

推噓2(2推 )留言5則，0人參與作者sorrow12345 (我和白木住一起)時間15年前 (2009/02/24 16:16)資訊

內容預覽:

這是今年某大學哲學研究所的推薦甄試考題，請教各位高手不吝賜教^^. "Lxy" stand for "x loves y". "Hxy" stand for "x hate y". "Px" stand for "x is a philosopher". Please symbolize the f

(還有96個字)

#2

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

推噓4(4推 )留言7則，0人參與作者MathTurtle (恩典)時間15年前 (2009/03/03 15:57)資訊

內容預覽:

原題目是: 1.There are exaclty two philosophers who love the same philosopher.. 我想需要用到quantifier 的原因不只是因為習慣這麼用,. 而是這題真的需要 for all & for some, 如果不用, 很難表達。.

(還有851個字)

#3

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

推噓3(3推 )留言10則，0人參與作者YuGar (深奧幽玄)時間15年前 (2009/03/03 20:22)資訊

內容預覽:

原來的問題是「將下面的句子符號化」：. 1.There are exaclty two philosophers who love the same philosopher.. 那 Px, Py 定義 exactly two philosophers. 然後再用 Lxy, Lyy 定義 who lo

#4

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

推噓1(1推 )留言1則，0人參與作者YuGar (深奧幽玄)時間15年前 (2009/03/04 23:54)資訊

內容預覽:

原來的問題是「將下面的句子符號化」：. 1.There are exaclty two philosophers who love the same philosopher.. 那 Px, Py 定義 exactly two philosophers. 然後再用 Lxy, Lyy 定義 who lo

(還有46個字)

#5

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

推噓2(2推 )留言7則，0人參與作者aletheia (cOnJeCTuRe)時間15年前 (2009/03/05 01:05)資訊

內容預覽:

原句子是 "正好有兩個哲學家喜歡同一位哲學家". 按照你的做法你的句子最多是這樣 "哲學家x,y喜歡哲學家y且x不是y". 抱歉這formula是我猜的因為你也沒寫出來. 這兩個句子是不一樣的. 假定現在有三個哲學家a,b,c 而a,b,c都喜歡a. 這狀況符合上面的formula 不過不符合