看板 [ logic ]
討論串[請益] 題目兩題請教
共 6 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
2
下一頁
尾頁
#6
Re: [請益] 題目兩題請教
推噓3(3推 0噓 13→)留言16則，0人參與, 最新作者aletheia (cOnJeCTuRe)時間15年前 (2009/03/07 02:30), 編輯資訊
0
0
0
內容預覽:
反例就是世界上只有兩個哲學家甲乙. 甲愛乙 乙也愛乙. 這樣的model符合原本的句子. 但你朋友的設定中至少會包含三個object(~a=y,~a=x,~x=y). 假定你朋友的設定是每個variable都指一個object. Mathturtle那篇文章已經說明用Let的方式會陷入ambiguo
首頁
上一頁
1
2
下一頁
尾頁