图书介绍
现代普通逻辑学PDF|Epub|txt|kindle电子书版本网盘下载
- 赵文林，谢淑君著 著
- 出版社： 北京：中国社会科学出版社
- ISBN：7500405367
- 出版时间：1990
- 标注页数：520页
- 文件大小：16MB
- 文件页数：530页
- 主题词：
PDF下载
下载说明
现代普通逻辑学PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一部分 绪论1
第一章 现代普通逻辑学研究的对象和方法1
一 逻辑学研究的对象1
二 研究现代普通逻辑学的意义和方法10
第二章 概念16
一 概念与集合16
二 概念的分类18
三 概念与语词的对应关系21
四 定义23
第三章 判断28
一 判断与客体事态28
二 判断种类29
三 辩证判断和判断原理32
四 命题34
第四章 推理、证明和演算41
一 推理41
二 证明44
三 演算48
第二部分 逻辑演算53
第一章 命题演算53
一 命题运算式55
二 命题的含义和推导58
三 等价推导64
四 蕴含推导77
五 多层次推导82
第二章 条件命题演算90
一 条件命题前后件的真值关系90
二 依存关系系统94
三 条件命题的演算规则103
四 条件命题的推导和应用115
五 条件命题与真实命题混推124
六 范式、判定和基本定理132
第三章 复合演算146
一 基本运算和复合运算146
二 对称差运算和异或运算150
三 分配问题155
四 组合问题164
五 命题演算系统171
第四章 逻辑线路设计与开关函数演算173
一 开关与开关函数173
二 开关演算177
三 线路设计步骤184
四 数字显示装置190
第五章 集合演算和主谓项集合关系式196
一 外延推理演算举例196
二 基本集合演算199
三 复合运算和条件运算214
四 主谓集合关系句223
五 主谓集合关系式227
第六章 命题主谓项集合关系演算239
一 简单命题推导239
二 复杂命题的主谓集合关系式259
三 由简单命题推导复杂命题267
四 由复杂命题推导简单命题272
五 复杂命题的分解与合成278
六 由复杂命题推导复杂命题282
七 多前提推理286
八 存在命题的推导293
九 主谓项集合演算系统295
一 量词和带量命题298
第七章 量词演算298
二 相等关系和反谓相等关系的量词演算308
三 蕴含关系和反谓蕴含关系的量词演算311
四 互补关系和反补关系的量词演算317
五 平行关系与反谓平行关系的量词演算321
六 带量命题主谓倒述324
七 多前提推导327
八 量词演算系统328
第八章 关系演算330
附录一 数理逻辑的谓词演算简介340
一 命题符号式（谓词命名式）340
二 谓词演算公理系统347
三 谓词演算公式351
附录二 概率演算简介354
一 随机事件354
二 概率359
三 概率的计算362
四 条件概率的计算365
第九章 审辨演算370
一 命题真假关系371
二 多命题真假演算378
三 非形式证明方法和形式证明简介385
四 推理式和论证的审辨394
五 语词的审辨397
第十章 模态命题演算403
一 对模态的理解403
二 模态命题演算之一——S系统406
三 模态命题演算之二——D系统413
四 规范模态演算417
五 时态演算418
第十一章 逻辑方程424
第十二章 超信息判断437
一 推测437
二 假说454
三 对归纳法的归纳459
部分习题解答461