《现代普通逻辑学》

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