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

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

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

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

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

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

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

第1章概念和类演算 1

1． 集合与类 1

目 录 5

引 言（1- 5

3． 关于集合的基本运算 5

3． 集合运算在概念外延分析上的应用 8

4． 关于换位推理和换质推理 23

5．划分的应用 27

6． 价值概念 30

第Ⅱ章命题 32

1． 命题与判断 32

2． 现代逻辑对命题的理解 33

3． 基本逻辑联结词（真值联结词）命题的种类 34

4． 一个基本的二值命题逻辑系统 40

5．真值表方法 43

6．其他逻辑联结词波兰符号 46

7．基本重言式 49

第Ⅲ章命题逻辑 52

1．关于演绎推理 52

2． 命题逻辑的基本定理和基本推理规则 54

3．对实质蕴涵（真值蕴涵）的进一步探讨 62

4．传统逻辑的基本规律 71

5． 命题逻辑的表达能力 日常事例的翻译 75

6．假言推理选言推理 79

联言推理二难推理 79

7．推理定理逻辑后承逻辑等值 88

8．日常推理应用例题 101

9． 传统三段论简介三段论的还原 119

10．三段论的规则 三段论的卢卡西维兹公理系统 136

11．略说形式的公理系统和自然推理 145

第Ⅳ章量词逻辑 156

1． 什么是量词逻辑和我们的处理方法 156

2．量词逻辑的初步讨论 158

3．关系逻辑 161

4．量词 170

5． 带常谓词＝及＜和≤以及常函词＋和·的一阶辑逻及其表达力举例 176

6．量词逻辑的一些基本定理和基本推理规则应用题举例 186

7．摹状词略说 207

8．关于符号 212

第Ⅴ章模态逻辑与合情推理 215

1．对可能世界的初步讨论 215

2．C．I．路易斯的S5系统 218

3．对于S5的一个新解释和新发展（举例） 227

4． 模态逻辑在实际生活中的应用 231

5．关于猜想和合情推理 235

6．合情推理的实例 238

7．悖论粗说 246

8． 多值逻辑与三值逻辑简介 252

结束语 257

总复习题 259

主要参考文献 270

后 记 275