数学逻辑学概论PDF电子书下载

第一章 绪论 1

§1．数学与逻辑 1

§2．数学教育与逻辑 13

§3．数学逻辑学的对象和内容 17

§4．数学中的符号体系 19

第二章 命题逻辑的基本知识 23

§1．命题和命题变元 23

§2．真值联结词和真值函数 26

§3．命题公式与重言式 31

§4．对偶式与范式 40

§5．联结词的完备集 45

§6．推理形式和有效性 48

第三章 命题逻辑基本知识在数学教育中的运用 57

§1．数学命题 57

§2．由逻辑等价式导出的若干证法 64

§3．由重言蕴涵式导出的若干证法 75

§4．思维发展中的“四变换群”和“格” 83

第四章 命题逻辑的公理系统 87

§1．形式系统的意义 87

§2．命题逻辑公理系统（PM系统） 89

§3．基本置换定理 97

§4．演绎定理 104

§5．PM系统的相容性、完备性和独立性 109

§6．命题逻辑的其它公理系统 115

§7．公理化、形式化与数学教育 117

第五章 简单命题的分解与概念 121

§1．简单命题的分解 121

§2．概念概述 124

§3．概念的内涵和外延 127

§4．概念间的关系 128

§5．概念的定义 133

§6．概念的划分与概念系统 140

第六章 谓词逻辑的基本知识 148

§1．谓词和函词 148

§2．量词 151

§3．谓词公式 159

§4．谓词逻辑的等价式 169

§5．前束范式 176

§6．谓词逻辑的推理形式和推理规则 179

§1．逻辑在集合及其运算中的应用 190

第七章 谓词逻辑基本知识在数学教育中的运用 190

§2．数学语言的逻辑分析 200

§3．逻辑函数观点下的方程和不等式 212

§4．数学证明及反驳 224

第八章 谓词逻辑的公理系统 246

§1．谓词逻辑公理系统（Q—PM系统） 246

§2．演绎定理 255

§3．基本置换定理 260

§4．Q—PM系统的相容性、完备性和独立性 265

§5．带等词的谓词逻辑公理系统 270

§6．谓词逻辑的其它公理系统 274

附：自然推理系统 283

第九章 形式数学系统 283

§1．自然数的皮亚诺公理系统 283

§2．群 286

§3．环与域 290

§4．实数的公理系统 295

第十章 公理集合论简介 298

§1．第三次数学危机 298

§2．集合论的公理系统 301

§3．集合代数 306

§4．关系与函数 315

§5．自然数 323

§6．序数与基数 325

§7．整数、有理数与实数 332

§8．连续统假设 340

第十一章 数学基础的诸流派 348

§1．实无穷与潜无穷 348

§2．逻辑主义 352

§3．直觉主义 355

§4．形式主义 357

第十二章 归纳逻辑 360

§1．归纳推理 360

§2．类比推理 373

§3．合情推理 385

§4．概率逻辑 398

§5．数学发现的逻辑 410

参考文献 414

人名索引 417