os”的意思是“演绎”。对传统意义上的三段论的详细描述参见直言三段论。三段论由三个部分组成：大前提、小前提和结论。逻辑上，结论是于小前提之上应用大前提得到的。大前提是一般性的原则，小前提是一个特殊陈述。
应用.这个例子是亚里士多德给出的经典的“Barbara”三段论：如，又如，
有效性.与之相对的是隐喻，它组织叫做肯定后件的一种形式的三段论，是逻辑谬论：Barbara三段论涉及文法和逻辑类型；它有一个主词（比如苏格拉底）和一个谓词（必死的）