さんだん-ろんぽう ―パフ [5] 【三段論法】 〔論〕 〔syllogism〕 間接推理の中の演繹(エンエキ)的推理。「(1)すべての M は P である。(2)すべての S は M である。故に，(3)すべての S は P である」のように二つの前提から一つの結論を導き出す推理。結論の主語（ S ）を小概念，それを含む前提(2)を小前提といい，結論の述語（ P ）を大概念，それを含む前提(1)を大前提という。また，S と P を結びつける概念（ M ）を媒概念（中項）という。右の例のようなものを定言的三段論法というが，その他に，前提に仮言的判断，選言的判断を含むものを，それぞれ仮言的三段論法，選言的三段論法という。推論式。推理式。