当前位置:首页 > 哲学宗教
逻辑基础  修订版
逻辑基础  修订版

逻辑基础 修订版PDF电子书下载

哲学宗教

  • 电子书积分:11 积分如何计算积分?
  • 作 者:王路著
  • 出 版 社:北京:高等教育出版社
  • 出版年份:2019
  • ISBN:9787040515725
  • 页数:260 页
图书介绍:本书在人民出版社已有教材修订版基础上再修订而打造的教材。考虑到高校的教学实际,本次修订改动如下:删除了一阶逻辑的内容;对词项逻辑、形式逻辑等逻辑性教学的基本和主要内容,篇幅有所调整,适当删除了若干段落,更换了若干案例和相关的分析文字,调整了章节内部的内容顺序,使不同内容间的联系更加紧密、突出。同时,教材形态有所更新,各章配备了二维码,提供教学指导和知识点,以便高校师生使用。本书可作为高校文科专业开设逻辑学课程使用,也可供有兴趣的爱好者阅读。
《逻辑基础 修订版》目录

第一章 绪论 1

1.1逻辑简史 1

1.2逻辑的性质 3

1.3形式逻辑 4

1.4逻辑、语言与思维 6

思考题 7

第二章 命题逻辑 8

2.1命题联结词的句法 8

2.2命题联结词的语义 12

2.3括号与主联结词 18

2.4重言式与有效性 22

2.5真值表法 25

2.6简化真值表法 29

2.7真值树法 35

2.8命题推理的证明规则 40

2.9等值规则 48

2.10条件证明 57

2.11间接证明 60

2.12重言式的形式证明 66

2.13命题逻辑推理规则的运用 69

习题 72

第三章 词项逻辑 85

3.1直言命题及其形式 85

3.2对当方阵的语义解释 90

3.3对当方阵推理 92

3.4换质位推理 94

3.5三段论的格与式 97

3.6三段论的有效性 100

3.7词项逻辑的意义与运用 107

习题 115

第四章 谓词逻辑 119

4.1个体词与谓词 120

4.2量词 124

4.3关系命题 129

4.4多个量词 132

4.5量词的否定 136

4.6真、可满足与有效性 140

4.7树形判定法 142

4.8形式证明 149

4.9条件证明 158

4.10间接证明 162

4.11谓词逻辑的运用 163

习题 168

附录一 逻辑规则与方法 174

1命题逻辑的证明规则 174

2谓词逻辑的证明规则 175

3词项逻辑的规则 176

附录二 习题参考答案 178

主要参考文献 257

索引 259

返回顶部