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