選言三段論法
論理和には、次の2種類がある。
包含的論理和は、英語で "and/or" と表記される場合と等価であり、一方だけ真かもしれないし、両方が真かもしれない。
排他的論理和 ("xor") は、一方が真であれば、もう一方は必ず偽である。両方同時に真、あるいは両方同時に偽ということはあり得ない。
一般に自然言語では、論理和的な文がこれら2つのうちどちらの意味であるかは曖昧な場合が多いが、その違いは重要である。
この場合、包含的にも排他的にも解釈できる。しかし、次の場合は排他的論理和でのみ成り立つ。
包含的論理和と解釈すると、上記の帰結は導けない。これを選言肯定の誤謬という。