目錄
叢書(shū)序i
致謝ix
導(dǎo)言1
0.1什么是符號(hào)邏輯學(xué)？1
0.2為什么學(xué)習(xí)邏輯學(xué)？1
0.3如何學(xué)習(xí)邏輯學(xué)？2
0.4本書(shū)結(jié)構(gòu)如何編排？2
第1章 命題、論證和邏輯屬性3
1.1命題3
1.2論證5
1.3演繹有效論證10
1.4總結(jié)15
第2章 語(yǔ)言、句法和語(yǔ)義學(xué)19
2.1真值函數(shù)19
2.2PL符號(hào)和真值函數(shù)算子22
2.3PL句法30
2.4析取、蘊(yùn)涵、等值蘊(yùn)涵37
2.5高級(jí)轉(zhuǎn)換43
第3章 真值表54
3.1賦值（真值賦值）54
3.2命題的真值表57
3.3命題真值表分析64
3.4命題集的真值表分析68
3.5蘊(yùn)涵條件解釋72
3.6論證真值表分析75
3.7無(wú)效短真值表測(cè)試77
第4章 真值樹(shù)84
4.1真值樹(shù)的建構(gòu)和解構(gòu)84
4.2真值樹(shù)解構(gòu)規(guī)則89
4.3剩余解構(gòu)規(guī)則102
4.4基本策略109
4.5真值樹(shù)走查115
4.6真值樹(shù)的邏輯性質(zhì)118
第5章 命題邏輯推導(dǎo)140
5.1證明的建構(gòu)140
5.2前提和目標(biāo)命題141
5.3Intelim推導(dǎo)規(guī)則142
5.4證明的策略169
5.5附加推導(dǎo)規(guī)則（PD+）182
5.6額外推導(dǎo)策略189
第6章 謂詞語(yǔ)言、句法和語(yǔ)義學(xué)218
6.1謂詞邏輯的表達(dá)能力218
6.2RL語(yǔ)言218
6.3RL句法225
6.4謂詞語(yǔ)義學(xué)232
6.5從句子到謂詞邏輯的翻譯238
6.6混合和重復(fù)量詞244
第7章 謂詞邏輯樹(shù)249
7.1四個(gè)新的解構(gòu)規(guī)則249
7.2解構(gòu)樹(shù)的策略255
7.3邏輯性質(zhì)258
7.4不可判定性和謂詞樹(shù)方法的局限性280
第8章 謂詞邏輯推導(dǎo)288
8.1四個(gè)量詞規(guī)則288
8.2量詞否定（QN）308
8.3樣例說(shuō)明310
附錄319
命題邏輯319
謂詞邏輯323
補(bǔ)充書(shū)目325
邏輯哲學(xué)和哲學(xué)邏輯325
模態(tài)邏輯325
非經(jīng)典邏輯、推演邏輯和自由邏輯326
非推演邏輯327
高階邏輯327
邏輯學(xué)的歷史327
邏輯學(xué)與替代符號(hào)328
人名與名詞（英漢對(duì)照）329
作者簡(jiǎn)介333