作者序iii

第1章邏輯的基本觀念1
1-1命題與論證2
1-2邏輯的形式特性7
1-3有效性與真確性9
1-4矛盾13
本章綜閤練習16

第2章邏輯語言與自然語言19
2-1自然語言與命題邏輯的語言20
2-2自然語言的符號化──否定句25
2-3自然語言的符號化──連言句26
2-4自然語言的符號化──選言句31
2-5自然語言的符號化──條件句與等值句35
2-6日常語言中論證的符號化39
本章綜閤練習41

第3章命題邏輯的符號係統43
3-1命題邏輯的語法44
3-2命題套式、替代個例與命題函數47
3-3命題邏輯的語意──真值錶51
3-4復閤命題真值錶的建構58
本章綜閤練習63

第4章命題的邏輯分類與邏輯關係65
4-1命題的邏輯分類66
4-2命題的邏輯關係71

第5章歸謬原理81
5-1歸謬真值錶82
5-2樹枝法91
5-3樹枝法與恆真句98

第6章命題邏輯論證有效性的決定105
6-1反例法106
6-2真假值指定法110
6-3真值錶法115
6-4歸謬真值錶法118
6-5樹枝法121

第7章有效論證的證明：直接證法125
7-1邏輯證明126
7-2蘊涵規則（一）128
7-3蘊涵規則（二）136
7-4反推的技巧143
7-5等值規則（一）149
7-6等值規則（二）157
本章綜閤練習165

第8章有效論證的證明：條件證法與反證法171
8-1條件證法172
8-2加強型條件證法181
8-3反證法184
8-4恆真句的證明189

第9章述詞邏輯的符號係統193
9-1單稱命題194
9-2函數—引元分析198
9-3述詞邏輯的語言202
9-4日常語言的述詞邏輯錶達210

第10章述詞邏輯論證有效性的決定221
10-1命題的真假值222
10-2反例法224
10-3釋模與通稱命題的展開226
10-4釋模法235

第11章述詞邏輯的證明243
11-1全稱個例化規則244
11-2存在通則化規則252
11-3存在個例化規則258
11-4全稱通則化規則266
11-5量限號互換規則270
11-6邏輯真理的證明272
本章綜閤練習276

第12章關係述詞邏輯281
12-1關係的邏輯錶達式282
12-2關係述詞論證的證明288
12-3對稱性、遞移性與自反性292
12-4等同298
12-5確定描述詞305

習題解答309
名詞索引365
推論規則378