相容选言推理的推理形式 发表评论 A+ 所属分类:推理 相容选言推理是前提中有一个相容选言判断的选言推理。它只有一种有效的推理形式,即否定肯定式。 这里的否定肯定式是指:前提中否定一部分选言支,结论就要肯定另一部分选言支。 其推理形式为: 用符号化的横式可表示为:((p∨q)∧┐p)→q 例如: