作者序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