選言的三段論法

「AかBである。Aではない。ゆえにBである」は**選言的三段論法**だ。

**選言的三段論法**は、論理的な推論において頻繁に用いられる。

この数学的証明には、**選言的三段論法**が適用されている。