演绎推理中包含一般性知识的前提。在三段论中指包含大项的前提。

指这样一种三段论，其中至少有一个前提是省略三段论的结论，而且带有该结论借以得出的大前提或小前提，以证明该结论的真实性。如：“科学是有用的，逻辑学是科学，因为其内容已由实践证明是真理，所以逻辑学是有用的。”其中的小前提“逻辑学是科学”是一个省略三段论的结论，而“逻辑学的内容已由实践证明是真理”就是该结论借以得出的小前提。

几个三段论联结而成的推理。前一个三段论的结论是后一个三段论的前提之一(大前提或小前提)。如：“科学是有用的，逻辑学是科学，所以逻辑学是有用的。一切有用的东西都应该学习，因此逻辑学应该学习。”其中，“逻辑学是有用的”是前一个三段论的结论，又是后一个三段论的小前提。

1.即二难推理。逻辑上称假言推理和选言推理联合起来的推理。大前提是两个假言判断，小前提是选言判断。

1.逻辑名词。也叫三段论﹑三段论法。形式逻辑间接推理的基本形式，由大前提﹑小前提﹑结论三部分组成，故称。

在表达时将前提之一或结论予以省略的三段论。有三种：(1)省略大前提的三段论。(2)省略小前提的三段论。(3)省略结论的三段论。