目录 1
第一章 复合命题和真值形式 1
第一节 概念 1
第二节 判断和命题 9
第三节 联言判断及其真值形式 17
第四节 选言判断及其真值形式 22
第五节 假言判断及其真值形式 25
第六节 等值判断及其真值形式 31
第七节 负判断及其真值形式 33
第二章 推理有效性判定 38
第一节 真值表 38
第二节 推理和推理形式 46
第三节 简单判断推理 52
第四节 推理有效性的判定定理 60
第三章 复合推理的有效性 68
第一节 联言推理的有效性 68
第二节 选言推理的有效性 72
第三节 充分条件假言推理的有效性 79
第四节 必要条件假言推理的有效性 85
第五节 充分必要条件假言推理的有效性 91
第六节 二难推理的有效性 95
第四章 简化真值表和真值树方法 105
第一节 真值表方法评说 105
第二节 简化真值表方法 113
第三节 真值树方法 117
第五章 历史的回顾和展望 127
第一节 历史的回顾 127
第二节 展望 138