《数理逻辑》

前言页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