- 作 者：茹季札著
- 出 版 社：西安：西北大学出版社
- 出版年份：1991
- ISBN：7560402755
- 标注页数：275 页
- PDF页数：287 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源287 ≥275页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第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