選言三段論法

選言三段論法（せんげんさんだんろんぽう、英: Disjunctive syllogism）とは、論理学において、「大前提」を選言命題（選択肢を持った命題）にし、「小前提」でその選択肢に対する肯定・否定を行なうことで、「結論」を導く形式の三段論法のこと。選言的三段論法とも。