相容選言推理
相容選言推理
相容選言推理(compatible disjunctive inference)是以相容的選言判斷為大前提構成的推理。它的選言支是可以同真的，所以它沒有肯定否定式，只有一種正確的推理形式即否定 肯定式。例如：某人學習成績好或者是由於客觀條件優越，或者是由於主觀刻苦努 力；某人不是由於客觀條件優越，所以，某人是由於主觀刻苦努力。在這個相容的選言推理中，“客 觀條件優越”和“主觀刻苦努力”是可以同時存在的，不能肯定了“客觀 條件優越”就否定了“主觀刻苦努力”，或者肯定了“主觀刻苦努力”就否定了“客觀條件優越”，所以只能用否定肯定式。它的結構是：或者P，或者Q;非P(或非Q)，所以，Q(P) 。
相容選言推理是以相容選言判斷為前提，並依據其邏輯特性進行的推理。相容選言推理只有否定肯定式。其結構為：
或者P，或者Q;
非P(或)，
所以，Q(或P)。
也可以用符號表示為,或
相容選言推理的邏輯性質告訴我們，只有當選言肢至少有一個為真時，相容選言判斷才真。因此，我們可以根據已知相容選言判斷的一部分選言肢為假，推知另一部分選言肢為真。例如：
某同學獲得優異成績，或者是由於長期刻苦學習，
或者是其他方面的條件非常好。
事實上，他其他方面的條件並不好!
所以，某同學獲得優異成績是由於長期刻苦學習。
但是，我們不可以根據已知相容選言判斷的一部分選言肢為真，推知另一部分選言肢假。因為相容選言判斷的肢判斷可以同真。例如：
某同學獲得優異成績，或者是由於長期刻苦學習，或者是其他方面的條件非常好。
某同學長期刻苦學習!
所以，某同學其他方面的條件肯定不好。
根據上述分析，我們可以得出相容選言推理的兩條規則：
第一，前提否定一部分選言肢，結論應肯定所余的選言肢。
第二，前提肯定一部分選言肢，結論不能否定所余的選言肢。
李清照的《鳳凰台上憶吹簫》的后三句，是一個相容選言推理，它可具體展示為：
新近人消瘦或由於病酒，或由於悲秋，或由於離懷別苦。
新近人消瘦不是由於病酒，也不是由於悲秋!
所以，新近人消瘦是由於離懷別苦。
根據上述規則，它肯定了一個選言肢(‘‘離懷別苦’’)，從而否定了其餘的選言肢(“病酒’’和“悲秋”) 。
應當注意，相容選言推理沒有肯定否定式，不能先肯定一部分選言肢，而後否定另一部分選言肢。這是受相容選言判斷的邏輯性質制約的，相容選言判斷的選言肢是可以同真的。例如：
金敏是教師或者是律師，她是教師，所以，她不是律師。
此例違反了相容選言推理的規則，是不正確的。因為相容選言判斷的選言肢“金敏是教師”和“金敏是律師”可以同時是真的，因此，肯定“金敏是教師”，不能否定“金敏是律師” 。