带证式

一种复合形式的三段论，其中至少有一个前提是另一省略三段论的结论。如：“科学是有用的，逻辑学是科学，因为逻辑学正确揭示了逻辑思维的形式和规律，所以逻辑学是有用的。”这个三段论的小前提“逻辑学是科学”是一个省略三段论的结论，而且带有它所由得出的小前提“逻辑学正确揭示了逻辑思维的形式和规律”，用以证明“逻辑学是科学”的真实性。