图书介绍

符号逻辑【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

符号逻辑
  • （美） 科庇，I.M.著；宋文坚，宋文淦等译 著
  • 出版社： 北京：北京大学出版社
  • ISBN：7301003218
  • 出版时间：1988
  • 标注页数：513页
  • 文件大小：17MB
  • 文件页数：522页
  • 主题词：

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：e208857754e6f4de979e6a962fc6b55d

下载说明

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

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用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 新逻辑斯蒂系统RS1386

10.2 RS1的展开393

10.3 对偶性401

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

10.5 范式411

10.6 RS1的完全性421

10.7 带等词的RS1433

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

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

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

附录C 分支类型论452

部分习题解答464

推理规则510

量化规则512

热门推荐