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

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

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

第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