相容選言推理法

相容選言推理法是根據相容選言判斷的邏輯性質而進行推演的一種方法。它的大前提是一個相容選言判斷，小前提為大前提中的一個選言肢(或其否定)，依據相容選言判斷的選言肢中至少有一肢真並可同真的性質，可推演出必然結論。

例如：“鯨集體自殺的原因或是拯救同類的本性，或是海水污染，或是其他原因造成的。‘拯救同類的本性’不成立。因為鯨群的一條鯨被捕捉後，再沒有其他鯨來拯救它。所以，鯨集體自殺的原因是海水污染或其他原因。”這個推理的大前提是相容選言判斷，小前提否定其中的一個選言肢，就必然推出另一部分選言肢真。運用相容選言推理必須遵守兩條規則：①小前提否定大前提中的一部分選言肢，結論就肯定另一部分選言肢;②小前提肯定大前提中一部分選言肢，結論就不能否定另一部分選言肢。