当前位置:首页 > 数理化
数理逻辑基础
数理逻辑基础

数理逻辑基础PDF电子书下载

数理化

  • 电子书积分:10 积分如何计算积分?
  • 作 者:张振华编著
  • 出 版 社:沈阳:辽宁大学出版社
  • 出版年份:1990
  • ISBN:7561009712
  • 页数:206 页
图书介绍:
《数理逻辑基础》目录

第一章 命题逻辑:命题逻辑基本概念 1

1.1 命题和命题变元 1

1.2 真值联结词 4

1.3 赋值和真值表 9

1.4 命题公式 12

1.5 真值函项 15

1.6 重言式、矛盾式、可满足式 21

1.7 判定重言式的逻辑方法 26

1.8 重言等值式 30

第二第 命题逻辑:范式 40

2.1 简单析取和简单合取 40

2.2 合取范式 42

2.3 析取范式 43

2.4 范式的求法 45

2.5 优范式及优范式求法 54

第三章 命题逻辑:命题演算 73

3.1 形式系统 73

3.2 命题自然推理形式系统 74

3.3 定理的推演 83

3.4 命题协调性及证明 101

3.5 命题公理推理形式系统 107

第四章 谓词逻辑:基本概念 124

4.1 个体词和谓词 124

4.2 量词 128

4.3 自由变元和约束变元 135

4.4 改名和代入 137

4.5 解释 141

4.6 谓词逻辑的永真式、矛盾式和可满足式 146

4.7 前束范式 149

第五章 谓词逻辑:谓词演算 160

5.1 谓词自然推理形式系统 160

5.2 全称量词推理规则 161

5.3 存在量词推理规则 166

5.4 关于全称量词和存在量词推理规则的限制 172

5.5 定理的推演 177

5.6 谓词公理形式系统 190

返回顶部