吃論
含有「吃論」共 1 篇內容
全部內容
發佈日期由新至舊
作者: 黃盛
1 Down the rabbit hole: 論理型
掉下兔子洞
十六
好了，我們現在有足夠的工具 (概念+推論規則) 來處理吃論[1]了。
要判斷愛麗絲的吃論[1]是否有效﹐基本上有兩個途逕:
(甲) 直接證明 (direct proof): 直接證明沒有什麼花巧﹐就是
