数理逻辑

作者：王兵山等编著
出版社：长沙：国防科技大学出版社
出版年份：1993
ISBN：7810242768
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
9
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

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