目录

1预备知识

1.1集

1.2归纳定义和归纳证明

1.3记号

2命题逻辑

2.1命题和联结词

2.2命题语言

2.3命题语言（续）

2.4语义

2.5重言推论

2.6形式可推演性

2.7析取范式和合取范式

2.8联结符的完备集

3.1命题函数和量词

3一阶逻辑

3.2一阶语言

3.3语义

3.4逻辑推论

3.5形式可推演性

3.6前束范式

4形式可推演性：另一种类型

4.1另一种类型的形式可推演性

4.2两种类型的关系

5可靠性和完备性

5.1可满足性和有效性

5.2可靠性

5.3命题逻辑的完备性

5.4一阶逻辑的完备性

5.5含等符的一阶逻辑的完备性

5.6独立性

6可靠性和完备性的应用

6.1紧致性

6.2L？wenheim-Skolem定理

6.3Herbrand定理

6.4模型论的若干基本概念

7构造性逻辑

7.1构造性推理的逻辑

7.2语义

7.3形式可推演性

7.4可靠性

7.5完备性

8模态命题逻辑

8.1模态命题语言

8.2语义

8.3形式可推演性

8.4可靠性

8.5T的完备性

8.6S4，B，S5的完备性

9模态一阶逻辑

9.1模态一阶语言

9.2语义

9.3形式可推演性

9.4可靠性

9.5完备性

9.6等符

附录 （自然推演中形式证明的简单形式）

参考文献

符号表

名词术语表（汉英对照）