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

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

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

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

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

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

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

一、导言：逻辑与语言 1

1·1 逻辑是什么？ 1

1·2 论证的本质 1

1·3 真实性与有效性 3

1·4 符号逻辑 4

二、包含复合陈述的推理 6

2·1 简单与复合陈述 6

2·2 条件陈述 11

2·3 论证形式与真值表 14

2·4 陈述形式 20

三、演绎方法 24

3·1 有效性的形式证明 24

3·2 替换规则 30

3·3 证明无效性 38

3·4 条件证明规则 39

3·5 间接证明规则 42

3·6 重言式的证明 44

3·7 加强的条件证明规则 45

3·8 简化的真值表方法—归谬法 48

四、量化理论 50

4·1 单称命题和一般命题 50

4·2 证明有效性：初步量化规则 56

4·3 证明无效性 61

4·4 多重一般命题 66

4·5 量化规则 70

4·6 再论证明无效性 80

4·7 包含量词的逻辑真理 86

五、关系逻辑 92

5·1 关系的符号化 92

5·2 涉及关系的论证 103

5·3 关系的一些属性 107

5·4 同一性与确定摹状 112

5·5 谓词变项与属性的属性 119

六、演绎系统 124

6·1 定义与演绎 124

6·2 欧几里德几何 125

6·3 形式演绎系统 128

6·4 形式演绎系统的属性 129

6·5 逻辑斯蒂系统 131

七、集合论 134

7·1 类代数 134

7·2 类代数的公理 137

7·3 策梅罗-弗兰克尔集合论（ZF）——前六个公理 139

7·4 关系与函数 145

7·5 自然数和无穷公理 149

7·6 基数和选择公理 152

7·7 序数与替换和正则性公理 157

八、命题演算 166

8·1 对象语言和元语言 166

8·2 初始符号和合式公式 167

8·3 公理和演证 177

8·4 公理的独立性 180

8·5 演算的展开 186

8·6 演绎完全性 196

九、可选择的系统和记法 202

9·1 可选择的逻辑系统 202

9·2 希尔伯特-阿克曼系统 203

9·3 点号之用作括号 218

9·4 无括号记法 220

9·5 竖号和剑号算子 221

9·6 尼考德系统 222

十、一阶函项演算 229

10·1 新的逻辑斯蒂系统RS1 229

10·2 RS1的展开 233

10·3 对偶性 239

10·4 RS1和‘自然演绎’技巧 242

10·5 范式 245

10·6 RS1的完全性 251

10·7 带等词的RS1 258

10·8 包含ZF集合论的一阶逻辑 261

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

附录B：范式和布尔展开式 266

附录C：分支类型论 271

特殊符号 277

推理规则和量化规则 279

索引 281

译后记 299