在传统逻辑中，“三段论（Syllogism）”指从两个命题（“大前提”和“小前提”）推导出“结论”的一种演绎推理，是数学证明、科学研究及日常沟通交流中常用的一种推理形式。
在希腊语中，syllogism由syn（与）和logos（语言）组成，本意指“（一个命题）与（另一个命题）相连”，引申义指“演绎”。亚里士多德在“工具论（Organon）”中第一次将三段论系统化。
例子：
- 所有人都是必死的。（大前提）
- 苏格拉底是人。（小前提）
- 苏格拉底是必死的。（结论）
从形式语言的角度，三段论可用一阶谓词逻辑来表达：
设：
- 论域D：所有的生物
- h(x)：x是人
- m(x)：x是必死的
- s：苏格拉底
表达前提和结论：
- ∀x (h(x) → m(x))：所有人都是必死的
- h(s) ：苏格拉底是人
- m(s)：苏格拉底是必死的
三段论的原则建立在一般性与特殊性的关系上，体现在“大项”，“中项”和“小项”之间的关系上。
所举的例子的三段论的大前提涉及“大项（m(x)）”和“中项（h(x)）”，小前提涉及“小项（s）”和中项，结论涉及小项和大项：
证明：∀x (h(x) → m(x)), h(s) ⊢ m(s)
1. ∀x (h(x) → m(x)) 大前提
2. h(s) 小前提
3. h(s) → m(s) 一般性与特殊性的关系
4. m(s) 由肯定前件（Modus ponens）得出结论
参考文献：
【1】https://fr.wikipedia.org/wiki/Syllogisme
【2】https://zh.wikipedia.org/wiki/三段論
【3】https://baike.baidu.com/item/三段论推理/10638529?fromtitle=三段论&fromid=630350
