第 1 章  人類的邏輯
論證 / 003
邏輯形式 / 005
共同形式 / 007
第 2 章  推演
否定 / 023
等價(jià) / 028
小結(jié) / 028
第 3 章 假定
無依賴假定的證明 / 044
實(shí)質(zhì)蘊(yùn)涵怪論 / 045
從析取前提出發(fā)的推理 / 048
歸謬法 / 055
第 4 章 證明 : 從舊到新
代入規(guī)則 / 063
切規(guī)則 / 065
當(dāng)且僅當(dāng) / 069
替換規(guī)則 / 072
第5章 真
真值表 / 079
以真來證 / 084
捷徑 / 088
作為可能世界集的命題 / 095
第 6 章 量化
全稱消去規(guī)則 / 111
全稱引入規(guī)則 / 113
存在引入規(guī)則 / 119
存在消去規(guī)則 / 122
量詞和布爾聯(lián)結(jié)詞的關(guān)系 / 131
新的重言式 / 134
快思，細(xì)想 / 136
第 7 章 理論
等詞理論 / 140
序關(guān)系 / 149
函數(shù) / 153
算術(shù) / 157
定義 / 161
集合論 / 168
等價(jià)關(guān)系 / 176
函數(shù)關(guān)系 / 177
第 8 章 模型
邏輯語法 / 188
形式化的解釋 / 190
廣義的解釋 / 196
圖表解釋 / 200
嚴(yán)謹(jǐn)解釋 / 203
總結(jié) / 206
第 9 章 命題邏輯理論
基于語句構(gòu)造的歸納 / 213
真值函數(shù) / 216
一個(gè)關(guān)于證明的理論 / 222
析取范式 / 229
完全性 / 234
第 10 章 謂詞邏輯理論
替換 / 242
可靠性 / 246
完全性 / 249
完全與不完全理論 / 252
可判定性 / 254
緊致性 / 256
第 11 章 超越邏輯
接下來怎么做 / 263
附錄一 推理規(guī)則概覽 / 267
附錄二 有用的有效推理形式 / 269
附錄三 有用的量詞邏輯等價(jià)式 / 271
附錄四 真值表 / 272
附錄五 謂詞邏輯的有效性測試 / 273
附錄六 詞匯表 / 275