现代普通逻辑学PDF电子书下载

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