選言三段論法
モーダスポネンスやモーダストレンスとは異なり、選言三段論法は論理体系における明確な推論規則や公理とされないことが多く、背理法と論理和の除去を組み合わせることで(やや回りくどいが)証明可能である。
他にも、類似の論法として定言的三段論法や仮言的三段論法がある。