《数学逻辑学》求取 ⇩

第一章引论1

1.1思维与逻辑1

1.2数学与逻辑8

1.3数学语言17

第二章数学概念25

2.1概念概述25

2.2概念的种类与概念间的关系28

2.3明确概念的逻辑方法33

2.4中学数学概念系统44

第三章数学命题50

3.1命题概述50

3.2简单命题53

3.3负命题、联言命题、选言命题63

3.4假言命题69

3.5等价命题、多重复合命75

3.6数学命题81

3.7中学数学定理系统88

第四章数学推理95

4.1推理概述95

4.2直言命题的直接推理98

4.3直言命题的间接推理——三段论103

4.4关系推理120

4.5复合命题演绎推理(上)123

4.6复合命题演绎推理(下)128

4.7归纳推理135

4.8类比推理144

4.9数学猜想147

第五章数学证明152

5.1证明概述152

5.2演绎证法与归纳证法156

5.3直接证法与简接证法160

5.4综合证法与分析证法167

5.5数学归纳法171

5.6常见的逻辑错误及其分析185

第六章命题演算与词项演算201

6.1真值表201

6.2命题演算209

6.3谓词演算——狭谓词演算214

第七章辩证逻辑简介225

7.1辩证逻辑概述225

7.2辩证逻辑的基本方法及其在数学中的应用238

1992《数学逻辑学》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由张润广羊遍 1992 海口:南海出版公司 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。