前言页 1
第一章 形式系统 6
第二章 命题逻辑 6
2.1 命题逻辑形式系统■ 6
2.2 ■的定理和导出规则 10
2.3 ■的语义、协调性 18
2.4 ■的完全性 25
2.5 ■的独立性 31
2.6 命题联结词 35
2.7 ■的紧致性 45
2.8 消解 46
第三章 一阶逻辑 57
3.1 一阶逻辑形式系统■ 57
3.2 ■的定理和导出规则 66
3.3 代入定理 89
3.4 前束范式 103
3.5 ■的语义 108
3.6 独立性 126
3.7 协调性和完全性 135
第四章 等词 151
4.1 等词系统■ 151
4.2 等词模型 161
第五章 证明与反驳 171
5.1 自然演绎 171
5.2 Skolem标准型 175
5.3 Herbrand定理 178
5.4 抽象协调性 189
5.5 Gentzen定理 197
5.6 语义树 205
5.7 ■—反驳 211
5.8 合一化 221
习题 221
参考文献 221