第一部分 简单命题推理研究 1
第一节 直言命题推理的理论基础 1
一、直言命题的内涵及特征 1
二、直言命题的种类简介 2
三、直言命题主谓项的周延性研究 5
四、直言命题真假值的判定 9
五、命题间的可比关系与不可比关系 12
六、直言命题之间的对当关系分析 13
七、逻辑方阵解析 20
第二节 直言命题直接推理研究 21
一、直言命题的对当关系推理研究 21
二、直言命题对当关系推理的扩展 27
三、直言命题变形推理研究 33
四、对当关系推理与变形推理的区别 38
第三节 三段论推理研究 39
一、三段论推理的理论基础 39
二、三段论推理的基本规则探析 42
三、三段论的格和式以及推理的逻辑规则研究 52
四、三段论不规则式分析 58
五、三段论推理的检验 61
第四节 关系命题推理研究 62
一、关系命题推理的理论基础 62
二、关系命题的性质分析 64
三、关系命题推理研究 66
第二部分 复合命题推理研究 72
第一节 复合命题推理的理论基础 72
一、复合命题的组成及特征 72
二、复合命题的种类 74
三、多肢复合命题真值研究 97
第二节 复合命题之间的对当关系推理 106
一、复合命题对当关系的研究前提 107
二、复合命题之间的对当关系 107
三、复合命题对当关系推理研究 120
第三节 复合命题基本推理形式研究 176
一、联言命题推理 176
二、选言命题推理 182
三、充分条件假言推理 199
四、必要条件假言推理 207
五、充分必要条件假言推理 212
六、假言推理的省略式 215
第四节 复合命题推理演化形式研究 215
一、假言联锁推理 216
二、假言直接推理 224
三、反三段论 226
四、复合命题的等值推理 227
五、假言联言推理 234
六、假言选言推理 238
第三部分 模态命题推理研究 253
第一节 模态命题推理的理论基础 253
一、模态 253
二、模态命题 255
三、模态命题的种类 255
四、模态命题之间的关系 259
第二节 模态命题推理研究 261
一、真值模态命题推理 261
二、规范模态命题推理 275