实用符号逻辑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