出的经典的“Barbara”三段论：如，又如，
有效性.与之相对的是隐喻，它组织叫做肯定后件的一种形式的三段论，是逻辑谬论：Barbara三段论涉及文法和逻辑类型；它有一个主词（比如苏格拉底）和一个谓词（必死的）。肯定后件，是隐喻的基础。这种形式的三段论是逻辑上无效的。三段论也可以是无效的，如果它们有四个项或者中项不周延。归纳论证（epagoge）是依赖于归纳推理的弱三段论。通过定义条件和双条件，三段论的推论原理可以在下列公式中陈述：结论是双条件，只在所