逻辑导论PDF电子书下载

前言页 1

序言 1

第一编 推理和定义的原则 2

第一章 语句联结词 2

1.1 否定和合取 2

1.2 析取 5

1.3 蕴涵：条件语句 6

导言 9

1.5 归组和括号 10

1.4 等值：双条件语句 10

1.6 真值表和重言式 12

1.7 重言蕴涵式和重言等值式 18

第二章 语句的推理理论 24

2.1 推理的两个主要准则和语句解释 24

2.2 三个语句推演规则 30

2.3 一些常用的重言蕴涵式 39

2.4 前提的一致性和间接证明 44

第三章 日常语言符号化 52

3.1 语法和逻辑 52

3.2 词项 53

3.3 谓语 55

3.4 量词 57

3.5 约束变项和自由变项 63

3.6 最后一个例子 67

第四章 一般推理理论 71

4.1 只包含全称量词的推理 71

4.2 解释和有效性 79

4.3 加以限制的带有存在量词的推理 98

4.4 量词的交换 107

4.5 一般推理 109

4.6 推理规则总结 121

第五章 其它推理规则 125

5.1 等同逻辑 125

5.2 逻辑定理 134

5.3 导出的推理规则 141

第六章 关于使用和提及的附言 150

6.1 名称和被命名的事物 150

6.2 语句变项问题 152

6.3 名称的毗连 155

第七章 从形式证明到非形式证明的过渡 159

7.1 概述 159

7.2 数的基本公理 160

7.3 形式推演和非形式证明相比较的例子 163

7.4 错误的非形式证明的例子 171

7.5 非形式证明的其他例子 176

第八章 定义理论 186

8.1 传统见解 186

8.2 合式定义的准则 187

8.3 合式定义的规则 191

8.4 恒等式形式的定义 198

8.5 被零除的问题 200

8.6 条件定义 202

8.7 五种处置被零除的方法 204

8.8 帕多阿原则和初始符号的独立性 208

第二编 直观集合论基础 216

第九章 集合 216

9.1 引言 216

9.2 属于关系 216

9.3 包含关系 221

9.4 空集 225

9.5 集合的运算 225

9.6 个体域 229

9.7 日常语言的翻译 232

9.8 文恩图解 239

9.9 有关集合运算的基本法则 247

第十章 关系 254

10.1 序偶 254

10.2 关系的定义 256

10.3 二项关系的性质 260

10.4 等价关系 267

10.5 次序关系 270

10.6 关系的运算 276

11.1 定义 282

第十一章 函数 282

11.2 函项的运算 289

11.3 丘奇的λ-表示法 297

第十二章 公理方法的集合论基础 303

12.1 引言 303

12.2 集合论谓词与诸理论的公理化 307

12.3 一个理论的诸模型的同构 321

12.4 例:概率 337

12.5 例:力学 360

译者后记 378

索引 379