《离散数学导论 数理逻辑·集合·关系部分》求取 ⇩

第一编 数理逻辑1

第一章 命题逻辑2

1.1 命题2

1.2 逻辑联结词4

1.3 真值表13

1.4 逻辑恒等式16

1.5 逻辑蕴涵式20

1.6 范式24

1.7 推理规则和推理格式32

1.8 证明方法43

2.1 引言54

第二章 逻辑蕴涵式的快速证明法54

2.2 快速证明的理论与方法56

2.3 快速证明的作用61

2.4 构造永真式63

2.5 关于命题演算的机器证明66

第三章 谓词逻辑初步70

3.1 谓词与量词70

3.2 量词与逻辑运算符78

3.3 推理规则与推理格式86

3.4 证明方法95

3.5 判别一目谓词公式非普遍有效的简易方法101

第四章 集合113

4.1 朴素的集合定义113

第二篇 集合论113

4.2 集合论的悖论117

4.3 集合间的关系122

4.4 集合上的运算125

4.5 自然数136

4.6 数学归纳法138

4.7 递归定义和递推关系150

4.8 Σ上的集合运算158

5.1 二元关系和有向图165

第五章 二元关系165

5.2 具有特殊性质的二元关系178

5.3 关系的复合183

5.4 关系上的闭包运算194

5.5 序关系215

5.6 等价关系与划分233

5.7 相容关系251

符号一览表257

中英名词索引261

参考书目273