第一章 命题逻辑：命题逻辑基本概念 1
1.1 命题和命题变元 1
1.2 真值联结词 4
1.3 赋值和真值表 9
1.4 命题公式 12
1.5 真值函项 15
1.6 重言式、矛盾式、可满足式 21
1.7 判定重言式的逻辑方法 26
1.8 重言等值式 30
第二第 命题逻辑：范式 40
2.1 简单析取和简单合取 40
2.2 合取范式 42
2.3 析取范式 43
2.4 范式的求法 45
2.5 优范式及优范式求法 54
第三章 命题逻辑：命题演算 73
3.1 形式系统 73
3.2 命题自然推理形式系统 74
3.3 定理的推演 83
3.4 命题协调性及证明 101
3.5 命题公理推理形式系统 107
第四章 谓词逻辑：基本概念 124
4.1 个体词和谓词 124
4.2 量词 128
4.3 自由变元和约束变元 135
4.4 改名和代入 137
4.5 解释 141
4.6 谓词逻辑的永真式、矛盾式和可满足式 146
4.7 前束范式 149
第五章 谓词逻辑：谓词演算 160
5.1 谓词自然推理形式系统 160
5.2 全称量词推理规则 161
5.3 存在量词推理规则 166
5.4 关于全称量词和存在量词推理规则的限制 172
5.5 定理的推演 177
5.6 谓词公理形式系统 190