数学逻辑与集合论PDF电子书下载

数理逻辑部分 3

数理逻辑简介 3

1 命题逻辑及其思想方法 8

1.1 命题与联结词 8

1.2 命题公式及其赋值 20

1.3 等值式 28

1.4 析取范式与合取范式 36

1.5 联结词的完备集 51

1.6 推理的形式结构 54

1.7 自然推理系统P 60

1.8 反证法的逻辑基础 66

习题1 69

2 谓词逻辑及其思想方法 74

2.1 谓词逻辑命题符号化 77

2.2 谓词公式及解释 82

2.3 谓词逻辑等值演算 86

2.4 谓词逻辑前束范式 93

2.5 谓词逻辑的推理理论 95

习题2 100

3 命题逻辑与谓词逻辑的公理化理论及其思想方法 104

3.1 公理化理论的基本思想 104

3.2 命题逻辑的公理系统 108

3.3 谓词逻辑公理系统 112

习题3 115

4 模态逻辑的基础知识及其思想方法 116

4.1 模态逻辑概述 117

4.2 模态命题逻辑 119

4.3 模态谓词逻辑 126

习题4 129

5 现代数学课程中的数理逻辑问题分析 131

5.1 开关电路与布尔代数 131

5.2 布尔函数 137

5.3 布尔函数的逻辑电路 145

5.4 高中数学简易逻辑中几个概念的辨析及教学建议 150

5.5 描述法表示集合 155

5.6 命题否定中文献中常见错误及析解 159

习题5 162

参考文献 163

集合论部分 167

集合论简介 167

6 集合的基础知识及其思想方法 171

6.1 集合的基本概念 171

6.2 集合的运算及其思想方法 175

6.3 有穷集的计数问题及其思想方法 180

习题6 184

7 关系及其思想方法 187

7.1 有序对与笛卡儿积 187

7.2 关系及其表示 191

7.3 关系的运算 194

7.4 关系的性质 201

7.5 关系的闭包 205

7.6 等价关系与划分 209

7.7 偏序关系 212

习题7 215

8 函数及其数学思想方法 219

8.1 函数的概念与性质 219

8.2 函数的复合与反函数 223

8.3 集合的等势与优势 226

8.4 基数的概念 230

习题8 234

参考文献 237