三段论是
直言三段论的简称,是一种间接推理,由包含着一个共同项(中项)的两个直言命题为前提,推出另一个直言命题为结论的一种演绎推理。
就三个命题的主项和谓项而言,它包含而且只包含三个不同的概念,并且每个概念在两个命题中各出现一次。在三段论前提中,两次出现的概念称中项(或中词),以 M 表示;三段论结论中的谓项称为
大项(或大词),以 P 表示;三段论结论中的主项称
小项(或小词),以 S 表示。包含大项的前提称为大前提,包含小项的前提称为小前提。
三段论是
形式逻辑的主要内容,它是由亚里士多德 (Aristotle) 建立起来的。