图书介绍
逻辑基础PDF|Epub|txt|kindle电子书版本网盘下载
- 王路著 著
- 出版社： 北京：人民出版社
- ISBN：7010043884
- 出版时间：2004
- 标注页数：361页
- 文件大小：12MB
- 文件页数：377页
- 主题词：逻辑－高等学校－教材
PDF下载
下载说明
逻辑基础PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目录1
序1
第一章 绪论1
1.1 逻辑简史1
1.2 逻辑的性质3
1.3 形式逻辑4
1.4 逻辑、语言与思维6
思考题7
第二章 命题逻辑8
2.1 命题联结词与命题形式8
2.2 真值形式：否定词、合取词、析取词13
2.3 真值形式：蕴涵词、等值词17
2.4 括号与主联结词20
2.5 重言式与有效性24
2.6 真值表法28
2.7 简化真值表法33
2.8 真值树法40
2.9 命题推理的证明规则46
2.10 等值规则53
2.11 条件证明62
2.12 间接证明66
2.13 重言式的形式证明73
2.14 命题逻辑推理规则的运用75
习题82
第三章 词项逻辑104
3.1 直言命题及其形式104
3.2 类与存在假定109
3.3 对当方阵的语义解释111
3.4 对当方阵推理115
3.5 换质位推理117
3.6 三段论的格与式121
3.7 三段论的有效性125
3.8 三段论的规则与运用132
习题139
第四章 谓词逻辑146
4.1 个体词与谓词147
4.2 量词151
4.3 关系命题156
4.4 多个量词159
4.5 量词的否定163
4.6 真、可满足与有效性167
4.7 树形判定法169
4.8 形式证明176
4.9 条件证明186
4.10 间接证明189
4.11 谓词逻辑的运用192
习题196
第五章 一阶逻辑204
5.1 命题逻辑的句法和语义205
5.2 命题逻辑的公理系统207
5.3 元定理208
5.4 谓词逻辑的句法和语义210
5.5 谓词逻辑的公理系统214
5.6 一阶逻辑的方法216
第六章 思维与语言220
6.1 思维方式221
6.2 比喻224
6.3 归纳法231
6.4 辩证法239
6.5 谬误245
附录1 命题逻辑规则与方法252
附录2 谓词逻辑规则与方法256
附录3 词项逻辑规则与方法258
附录4 习题参考答案262
主要参考文献354
索引357