選言推理是至少有一個前提為選言命題，並根據選言命題各選言支間的關係而進行推演的演繹推理。一般由兩個前提和一個結論所組成。根據組成前提的命題是否皆為選言命題，可分為純粹選言推理和選言直言推理。按一般習慣用法。選言推理主要指選言直言推理。根據選言前提各選言支之間的關係是否為相容關係，可分為相容的選言推理和不相容的選言推理。
基本介紹
相容選言推理,不相容選言推理,
相容選言推理
相容選言推理就是以相容選言命題為前提，根據相容選言命題的邏輯性質進行的推理。
相容選言推理有兩條規則：
規則1：否定一部分選言支，就要肯定另一部分選言支。
規則2：肯定一部分選言支，不能否定另一部分選言支。
根據規則，相容選言推理只有一個正確的形式，即否定肯定式：
p或者q
非p
___________
所以，q
或者
p或者q
非q
___________
所以，p
例如：
1. 金敏是教師或者是律師，她不是教師，所以，她是律師。（正）
2. 金敏是教師或者是律師，她是教師，所以，她不是律師。（誤）
例1符合相容選言推理的規則“否定一部分選言支，就要肯定另一部分選言支”，所以，這一推理是正確的；例2違反了相容選言推理的規則，是不正確的。因為相容選言命題的選言支“金敏是教師”和“金敏是律師”可以同時是真，因此，肯定“金敏是教師”，不能否定“金敏是律師”。
不相容選言推理
不相容選言推理就是以不相容選言命題為前提，根據不相容選言命題的邏輯性質進行的推理。
不相容選言推理有兩條規則：
規則1：否定一部分選言支，就要肯定另一部分選言支。
規則2：肯定一部分選言支，就要否定另一部分選言支。
根據規則，不相容選言推理有兩個正確的形式：
（1）否定肯定式
要么p，要么q
非p
___________
所以，q
（2）肯定否定式
要么p，要么q
p
___________
所以，非q
例如：
1. 要么小李得冠軍，要么小王得冠軍；小李沒有得冠軍，所以，小王得冠軍。
2. 要么去桂林旅遊，要么去海南旅遊；去桂林旅遊，所以，不去海南旅遊。
例1是不相容選言推理的否定肯定式；例2是不相容選言推理的肯定否定式，這兩個推理都是符合推理規則的，所以，都是正確的。
