《现代普通逻辑学》PDF下载

  • 购买积分:16 如何计算积分?
  • 作  者:赵文林,谢淑君著
  • 出 版 社:北京:中国社会科学出版社
  • 出版年份:1990
  • ISBN:7500405367
  • 页数:520 页
图书介绍:本书旨在建立一些采用人工符号而较数理逻辑更靠近日常思维习惯,但又不为自然语言的某些不确定性所限制的演算系统。

第一部分 绪论 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