选言推理

指前提中含有选言判断(命题)的推理。选言推理由两个前提和一个结论组成，两个前提中一个是选言判断，另一个是直言判断，结论是直言判断。通常把这种推理称为选言直言推理，把选言判断的前提称为选言大前提，直言判断的前提称为直言小前提。选言推理分为二种类型：相容的选言推理和不相容的选言推理。

相容选言推理

选言推理中的选言前提是相容的选言判断。对于相容的选言判断p或者q来说，它的两个支判断p和q中至少有一个是真的，同时不排除两个都是真的情况。根据相容选言判断的这个特征，相容选言推理有两条规则：(一) 否定一部分支判断就必须承认另一部分支判断;(二) 肯定一部分支判断而不能否定另一部分支判断。因此，这种推理只有一种正确形式即否定肯定式。这种推理形式用公式表示如下：

例如，“要么柏拉图是希腊人，要么柏拉图是罗马人，柏拉图是希腊人，所以，柏拉图不是罗马人。”其二是否定肯定式，这种推理形式用公式表示如下：