什麼是選言推理

邏輯推理的一種形式

選言推理是邏輯推理的一種形式，它根據選言判斷的邏輯性質進行推演。選言判斷有相容與不相容之分，因此選言推理也分爲相容選言推理和不相容選言推理兩種。

在相容選言推理中，前提是一箇相容的選言命題，即各個選言支在一定條件下都可以被肯定，在這種推理中，如果肯定了一部分選言支，就不能必然否定其他選言支。而在不相容選言推理中，前提是一箇不相容的選言命題，即各個選言支之間存在相互排斥的關係，在這種推理中，如果肯定了一部分選言支，就必須否定其他選言支。