直言三段论是所有前提都是直言命题的演绎推理。前兩個命題被分别称为大前提和小前提 。如果這個三段論是有效的，這兩個前提邏輯上蕴涵了最後的命題，它叫做結論。結論的真實性建立在前提的真實性和它們之間的聯繫之上： 展开

三段論有如下典型形式：
大前提：所有M是P。 小前提：所有S是M。 結論：所有S是P。
其中S代表結論的主詞（Subject），P代表結論的謂詞（Predicate），M代表中詞（Middle）。
三段論的命題可分為 展开

• 直接推理
• 传统逻辑
• 谓词演算 展开

• Aristotle, Prior Analytics. transl. Robin Smith（Hackett, 1989）ISBN 0-87220-064-7.
• Blackburn, Simon, 1996. "Syllogism" in the Oxford Dictionary of Philosophy. Oxford University Press. ISBN 0-19-283134-8. 展开

考虑各种直言三段论的有效性將是非常冗长耗時的。前人想出了三个可供选择的方法来找出有效性。方法之一是记住下一章节中列出的所有論式。 展开

总共有19个有效的论式，算结论弱化（全称弱化为特称）的5个论式則為24個有效论式，其中每一格刚好各有6個有效论式。為便於記憶，中世纪的学者 … 展开

1. ^ 中国社会科学院语言研究所词典编辑室. 现代汉语词典 2016年9月第七版. 商务印书馆. 2016: 1121-1122 [2020-07-05]. ISBN 978-7-100-12450-8 （中文（大陆简体））. .......【三段论】.......由大前提和小前提推出结论。如“凡金属都能导电”（大前提），“铜是金属”（小前 … 展开