选言推理

---

是前提中至少有一个选言判断的推理。也称为选言三段论。根据选言判断有相容的和不相容的两种，相应的选言推理也有这样两种：相容的选言推理；不相容的选言推理。

相容的选言推理就是前提中有一个是相容选言判断的选言推理。例如：

一本书中有错别字，或者是由于印刷上的错或者是由于译著上的错，

这本书中有错别字，不是由于印刷上的错，

所以，这本书中有错别字是由于译著上的错。

相容选言推理有两条规则：
❶ 否定一部分选言支，就要肯定另一部分选言支；
❷ 肯定一部分选言支，不能否定另一部分选言支。根据这两条规则，这种选言推理只有一种正确的形式，即否定肯定式：

上面这个例子，就是用了否定肯定式。

不相容的选言推理就是前提中有一个是不相容选言判断的选言推理。例如：

一个实数，或大于0或小于0或等于0，

实数4不小于0也不等于0，

所以，实数4大于0。

不相容选言推理也有两条规则：否定一部分选言支，就要肯定另一部分选言支；肯定一部分选言支，就要否定另一部分选言支。根据规则，这种选言推理就有两种正确的形式，即否定肯定式和肯定否定式。上例是否定肯定式：

肯定否定式则如：