disjunction
含有「disjunction」共 1 篇內容
全部內容
發佈日期由新至舊
作者: 黃盛
1 Down the rabbit hole: 論理型
掉下兔子洞
十三
要做證明﹐我們還沒有足夠的工具。需要預先解決兩件事情才能對吃論[1]做個完整的證明。首先﹐我們要辨識吃論[1]中使用的所有的真值函應聯結詞; 次之﹐我們要學懂使用一些相關的推論規則。
首先﹐我們要找出真
