《数理逻辑》PDF下载

  • 购买积分:10 如何计算积分?
  • 作  者:王兵山等编著
  • 出 版 社:长沙:国防科技大学出版社
  • 出版年份:1993
  • ISBN:7810242768
  • 页数:243 页
图书介绍:

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