第一章 真值表 1
第一节 真值表源流 1
第二节 真值表及真值形式 4
2.1真值表与语言 4
2.2逻辑联结词（connective）与真值形式（truth-value form） 6
2.3真值表的判定步骤 7
2.4真值形式的种类 9
第三节 真值表与简单命题 16
3.1真值表与性质命题（proposition of nature） 16
3.2真值表在性质命题中的应用 16
第四节 真值表与复合命题的逻辑性质 19
4.1联言命题（conjunctive proposition）的逻辑性质 19
4.2选言命题（disjunctive proposition）的逻辑性质 20
4.3假言命题（hypothetical proposition）的逻辑性质 21
4.4负命题（negative of proposition）的逻辑性质 23
第五节 真值表与等值命题的判定 25
5.1负复合命题及其等值命题 25
5.2负复合命题及其等值命题的引伸 28
5.3真值表与复合命题之间的等值转换 31
第六节 真值表方法的简化 41
6.1命题真值的整体判定法 41
6.2直观判定法 44
6.3简化真值表方法（simplified method of truth table） 48
6.4真值表的简化与三段论的有效式 54
第七节 真值树法——简化真值表方法的另一种形式 59
7.1真值树法及其判定步骤 59
7.2真值树法判定例举 61
第八节 真值表的逻辑工具功能 65
8.1定义逻辑联结词，反映复合命题的逻辑性质 65
8.2准确地判定复合命题间的逻辑关系 65
8.3推导简单复合命题推理规则的逻辑根据 69
8.4检验复合推理的有效性 70
8.5确定任何复合命题形式的取值和相应的命题变元的取值 72
第九节 真值表在实践思维中的作用 77
9.1根据已知命题形式的真假符合逻辑地推知某结论 77
9.2根据某结论推知命题形式的真假 80
9.3证明某句段是否具有逻辑性 81
9.4结合关系表，对相对复杂的题干关系进行推演 82
第十节 真值表的缺陷 85
10.1真值表对某些蕴涵式的有效性无法进行判定 85
10.2真值表各判定方法的非协调性 87
第二章 逻辑方阵 89
第一节 逻辑方阵的产生 89
第二节 性质命题与逻辑方阵 92
2.1性质命题及其种类 92
2.2直言命题的对当关系（opposition of categorical proposition）的推导 93
2.3性质命题真假关系的推导 95
2.4性质命题的逻辑对当关系的引申 99
第三节 复合命题与逻辑方阵 102
3.1复合命题之间的逻辑对当关系 102
3.2简单命题与复合命题之间的逻辑对当关系 109
3.3复合命题之间逻辑对当关系的引申 110
第四节 规范命题、时态命题与逻辑方阵 114
4.1规范命题（deontic proposition）与规范逻辑方阵 114
4.2时态命题与时态逻辑方阵 115
第五节 模态命题与模态逻辑方阵 116
5.1模态命题（modal proposition）及其分类 116
5.2基本模态命题及其模态对当关系（modal opposition） 116
5.3模态逻辑六角阵 117
5.4模态性质命题与模态逻辑方阵 121
5.5模态性质命题真假制约关系的引申 125
第六节 复合推理与逻辑方阵 129
6.1简单复合命题推理间的逻辑对当关系 129
6.2复杂复合命题推理间的逻辑对当关系 131
6.3复合命题与复合命题推理之间的逻辑对当关系 139
第七节 立体逻辑方阵 141
7.1两复合命题及其异变形式之间的真假制约关系 141
7.2复合命题的异变形式及其负命题之间的真假制约关系 148
7.3简单复合推理形式与立体逻辑方阵 154
7.4复杂复合推理形式与立体逻辑方阵 160
第八节 逻辑方阵应用例举 166
第九节 逻辑方阵的复合形式 172
9. 1逻辑八角阵 172
9. 2逻辑十角阵 174
第十节 逻辑方阵与重言式的形成系统 179
10.1逻辑永真式形成系统 179
10.2复合命题永真公式形式 180
10.3简单命题与复合命题永真公式形式 183
第十一节 逻辑方阵与立体逻辑三角阵 186
11.1逻辑方阵与直角三角阵 186
11.2逻辑方阵与立体逻辑三角阵 188
第三章 欧拉图解 193
第一节 欧拉图与概念外延之间的关系 193
1.1欧拉图的写入语言与读出语言 193
1.2欧拉图与概念外延之间的关系 194
1.3概念外延之间关系的复杂化 196
第二节 欧拉图与性质命题 199
2.1欧拉图与性质命题的真假关系 199
2.2欧拉图与性质命题“项”的周延性 199
2.3欧拉图与性质命题的真假制约关系 201
第三节 欧拉图与性质命题直接推理 205
3.1对当关系推理 205
3.2命题变形的直接推理 205
3.3性质命题等值推理 208
3.4关于O命题的换位问题 210
第四节 欧拉图与三段论（syllogism） 212
4.1欧拉图与三段论公理 212
4.2欧拉图与三段论规则 214
4.3欧拉图与三段论的格 223
第五节 三段论的式 237
5. 1欧拉图与三段论的简单式 237
5.2欧拉图与三段论的复合式 238
第六节 欧拉图的缺陷 247
6.1用单纯的标准圆不能完全反映概念之间客观上存在的各种关系 247
6.2欧拉图图形繁多 248
6.3用欧拉图验证三段论有效性时会产生歧义 250
第四章 文恩图 257
第一节 文恩图概述 257
1.1从欧拉图到文恩图 257
1.2文恩图的构成 258
第二节 性质命题的文恩图表达形式 260
第三节 文恩图与三段论的式 262
3.1用文恩图证明三段论有效性的步骤 262
3.2用文恩图证明三段论有效式 263
第四节 文恩图与复合三段论 271
第五节 文恩图的缺陷 274
5.1文恩图的区域缺陷 274
5.2文恩图的歧义缺陷 275
附录一 外国人名索引 279
附录二 主要参考文献 280
后记 284