第一编：命题逻辑
第二章：命题连接词与真值表方法
2.1连接词与复合句
2.2真值函数连接词和非真值函数连接词
2.3符号化
2.4命题逻辑的基本语法
2.5真值表和真值的计算
2.6若干基本语义概念的真值表刻画
2.7简化真值表方法
2.8习题

第三章：命题逻辑的基本概念
3.1对象语言里的符号和公式
3.2真值指派和公式的真值
3.3重言蕴涵、重言等值与可满足性
3.4重言式、矛盾式与或然式
3.5代入
3.6代入的语义性质
3.7真值指派与真值表
3.8范式
3.9函数完全性
3.10习题

第二编
第四章：费奇式推演1
4.1推演规则
4.2简单的费奇式推演
4.3有前提和无前提推演
4.4费奇式推演的简单技巧
4.5非Itelim规则及其应用
4.6习题

第五章：弗雷格-希尔伯特式演算1
5.1公理系统Ho
5.2Ho中的证明与定理
5.3Ho中的演绎
5.4内定理和元定理
5.5关于可演绎关系的若干简单命题
5.6置换定理
5.7sub、证明和无前提演绎
5.8习题

第六章：弗雷格-希尔伯特式演算2
6.1形式语言L1和公理系统H1
6.2H1中的演绎和证明
6.3等价公理系统
6.4真实性和重言性的保存，可靠性定理
6.5一致性
6.6范式
6.7独立性问题
6.8习题

第三编：谓词逻辑
第七章：走进谓词逻辑
7.1专名、常项与变项
7.2函数符号和项
7.3谓词
7.4量词
7.5直言句及其符号化
7.6嵌入式量词
7.7函数符号和等词的运用
7.8“只有”和“只”
7.9时间介入
7.10“Donkey Business”
7.11习题

第八章：谓词逻辑的基本语法和语义1
8.1一阶语言
8.2词典语义学
8.3简单的集合论知识
8.4模型和赋值
8.5基本语义定义
8.6项的值和公式的真值
8.7可满足性、逻辑蕴涵、逻辑等职和有效式
8.8习题

第九章：谓词逻辑的基本语法和语义2
9.1对个体变项的代入
9.2自由带入及其基本语义性质
9.3等项替换和易字
9.4置换
9.5易字变形
9.6理论的不同类型
9.7习题

第四编：谓词演算
第十章：费奇式推演2
10.1全称量词的消去规则和存在量词的引入规则
10.2全称量词的引入规则和存在量词的消去规则
10.3否定词与量词的衔接
10.4推演中常见的和其他几种情况
10.5等词引入规则和等词消去规则
10.6非Intelim规则及其应用
10.7习题

第十一章：弗雷格-希尔伯特式演算3
11.1形式语言和公理系统
11.2一阶演绎和证明的若干简单性质
11.3易字与常项概括
11.4若干可证等值式
11.5带等词的一阶演绎和证明

第十二章：弗雷格-希尔伯特式演算4
12.1置换定理的一般形式
12.2可靠性和一致性
12.3前束范式
12.4等价的一阶演算公理系统
12.5完全性定理和紧致性定理的简单形式
12.6习题

附录：演算、数学归纳法、习题答案
附录A 其他形式的逻辑演算
附录 B 数学归纳法和趣味逻辑题
附录C 部分习题参考答案或提示

结语
参考文献和推荐书目
希腊字母读音表
索引