三段论，形式逻辑间接推理的基本形式之一，由大前提和小前提推出结论。三段论是由两个含有一个共同项的性质判断作前提得出一个新的性质判断为结论的演绎推理 任何一个三段论都是由三个性质判断组成的，两个是前提，一个是结论。

任何一个三段论都有而且只能有三个词项，每个词项在前提和结论中共出现两次。一般说来，在结论中居于判断主项的词项，我们叫它为“小项”，通常用“S”表示。一般说来，在结论中居于判断谓项的词项，我们叫它为“大项”，通常用“P”表示。只在两个前提中出现的共同项叫“中项”，通常用“M”表示，它在前提中起推理传递媒介的作用，正是通过它把大小项的关系联结起来。如果没有中项，三段论推理便无法进行。例如“老虎爱吃肉，妈妈洗衣服”，由于没有相同的中项，就很难推出结论。