盛作国 黄士平 陈应芬 胡红

制约逻辑 假言推理 充分条件假言判断 选言推理形式 选言肢穷尽 不相容选言判断 否定肯定式 逻辑 选言推理规则 相干逻辑 全异关系 逻辑要求 选言命题 直言判断 小前提 选言肢 普通逻辑 阿凡提 推理规则 推理 两个独立性 废除死刑 蕴涵怪论 选言判断 联言判断 逻辑性质 二难推理