相容選言推理
相容選言推理就是以相容選言命題為前提，根據相容選言命題的邏輯性質進行的推理。
相容選言推理有兩條規則：
規則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是不相容選言推理的肯定否定式，這兩個推理都是符合推理規則的，所以，都是正確的。
