三段论（syllogism）是由一个共同词项把两个直言命题联系起来作为前提，再得出一个新的直言命题作为结论的推理。其中，结论的主项是小项（用S表示），含有小项的前提是小前提；结论的谓项是大项（用P表示），含有大项的前提是大前提；两个前提共有的词项叫做中项（用M表示）。
