选言推理

---

前提中有一个是选言判断，并根据选言判断选言支间的关系而推出结论的推理。

可分为不相容的选言推理和相容的选言推理两种。

不相容选言推理是前提中有一个不相容选言判断的选言推理。有两个正确的形式：

(1)肯定否定式：通过肯定不相容选言判断中一个选言支，从而否定其他选言支的推理形式。

例如：一个企业或是大型的，或是中型的，或是小型的；鞍山钢铁公司是大型企业，所以，鞍山钢铁公司不是中型企业，也不是小型企业。

其公式为：要么p，要么q；p，所以，非q。

(2)否定肯定式：通过否定不相容选言判断中其余的选言支，从而肯定另一个选言支的推理形式。例如：数学课的考试成绩或者是优，或者是良，或者是中，或者是及格，或者是不及格；李明的数学课成绩不是优，不是中，不是及格，也不是不及格；所以，他的成绩是良。其公式为：要么p，要么q；非p，所以，q。

由于选言支之间不相容，只能有一个选言支是真的，所以，它有两条规则：(1)肯定一个选言支，就要否定其余的选言支；(2)否定其余的选言支，就要肯定另一个选言支。

相容选言推理是前提中有一个相容选言判断的选言推理，只有一种正确的形式，即否定肯定式。例如：一块麦田收成不好，或由于缺水，或由于缺肥，或由于其他原因。据了解不是由于缺水和其他原因，可见这块麦田收成不好是由于缺肥造成的。

其公式为：或者p，或者q；非p，所以，q。

相容选言推理不能有肯定否定式，因为相容选言判断的选言支可以同时是真的，肯定其中一个选言支，并不必然否定另外的选言支。

相容选言推理有两条规则：(1)否定一部分选言支，就要肯定另一部分选言支；(2)肯定一部分选言支，不能否定另一部分选言支。