不相容選言推理法

不相容選言推理法是根據不相容選言判斷的邏輯性質而進行的推演方法。若一個不相容判斷為真，則它的選言肢中只有一真。根據這種性質，不相容選言推理法有兩條規則：①小前提肯定大前提中的一個選言肢，結論就否定其餘部分的選言肢;②小前提否定大前提中一部分選言肢，結論就肯定餘下的這個選言肢。

相應於這兩條規則，有兩種推演形式：①肯定否定式：其大前提為不相容選言判斷，小前提肯定大前提中的一個選言肢，從而推出否定其餘選言肢的結論。②否定肯定式：小前提否定大前提中除一個以外的所有選言肢，從而結論就肯定餘下的這一個選言肢。