選言三段論法
大まかに言えば、最初に2つの文のうち少なくとも1つが真であるとされる。次にそのうちの1つが真ではないとされる。そこから推論することで、残った文が真であると結論付けられる。これが「選言三段論法」と呼ばれるのは、論証が三段階(三段論法)であることと、「または」で表される論理和(選言)の形式を含んでいるためである。「Pか、またはQのどちらか」と言った場合のPやQを「選言肢; disjuncts」と呼ぶ。
選言三段論法は、「または」が「包含的; inclusive」であっても「排他的; exclusive」であっても機能することに注意されたい(詳しくは後述)。