符号逻辑pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
下载压缩包 [复制下载地址] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页

符号逻辑PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

目录 1

序 1

第一章　导论：逻辑和语言 5

1.1 逻辑是什么？ 5

1.2 论证的本性 6

1.3 真和有效性 8

1.4 符号逻辑 10

2.1 简单陈述和复合陈述 13

第二章 包含复合陈述的论证 13

2.2 条件陈述 23

2.3 论证的形式和真值表 28

2.4 陈述形式 37

第三章 演绎方法 43

3.1 有效性的形式证明 43

3.2 置换规则 52

3.3 证明不有效性 66

3.4 条件证明规则 68

3.5 间接证明规则 72

3.6 重言式证明 74

3.7 加强的条件证明规则 77

3.8 短真值表方法——归谬法方法 83

第四章 量化理论 86

4.1 单称命题和全称命题 86

4.2 证明的有效性：初步的量化规则 97

4.3 证明不有效性 106

4.4 复合的一般性命题 114

4.5 量化规则 121

4.6 再论证明不有效性 145

4.7 包含量词的逻辑真理 149

第五章 关系逻辑 159

5.1 符号化的关系 159

5.2 包含关系的论证 177

5.3 关系的某些性质 184

5.4 等同和定摹状词 192

5.5 谓词变项和属性的属性 203

第六章　演绎系统 211

6.1 定义和演绎 211

6.2 欧几里得几何学 213

6.3 形式演绎系统 217

6.4 形式演绎系统的特性 220

6.5 逻辑斯蒂系统 223

第七章 集合论 228

7.1 类代数 228

7.2 类代数的公理 233

7.3 策梅洛-弗伦克尔集合论［ZF］——前六个公理 236

7.4 关系与函项 247

7.5 自然数和无穷性公理 254

7.6 基数和选择公理 260

7.7 序数与替换公理和正则性公理 269

第八章 一个命题演算 284

8.1 对象语言和元语言 284

8.2 初始符号和合式公式 286

8.3 公理和形式证明 303

8.4 公理的独立性 309

8.5 演算的展开 318

8.6 演绎完全性 333

第九章 可选择的系统及记法 344

9.1 可选择的逻辑系统 344

9.2 希尔伯特-阿克曼系统 346

9.3 点作为括号的用法 367

9.4 无括号的记法 371

9.5 竖杠和箭头运算子 372

9.6 尼柯系统 374

第十章 一阶函项演算 386

10.1 新逻辑斯蒂系统RS1 386

10.2 RS1的展开 393

10.3 对偶性 401

10.4 RS1与“自然推理”技术 406

10.5 范式 411

10.6 RS1的完全性 421

10.7 带等词的RS1 433

10.8 包含ZF集合论的一阶逻辑 436

附录A 十九条规则的不完全性 439

附录B 范式及布尔展开式 444

附录C 分支类型论 452

部分习题解答 464

推理规则 510

量化规则 512