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

推噓3(3推 )留言16則，0人參與作者aletheia (cOnJeCTuRe)時間17年前 (2009/03/07 02:30)資訊

內容預覽:

反例就是世界上只有兩個哲學家甲乙. 甲愛乙乙也愛乙. 這樣的model符合原本的句子. 但你朋友的設定中至少會包含三個object(~a=y,~a=x,~x=y). 假定你朋友的設定是每個variable都指一個object. Mathturtle那篇文章已經說明用Let的方式會陷入ambiguo

#5

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

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

內容預覽:

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

#4

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

推噓1(1推 )留言1則，0人參與作者YuGar (深奧幽玄)時間17年前 (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個字)

#3

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

推噓3(3推 )留言10則，0人參與作者YuGar (深奧幽玄)時間17年前 (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

#2

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

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

內容預覽:

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

(還有851個字)