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

网友释义带证式又称“带证式复合三段论”，是三段论的复合形式之一。其前提中至少有一个是直言三段论的省略式，并因为它的前提本身带有证明，所以称为带证式。带证式有单带证式和复带证式两种形式。单带证式是两个前提中只有一个是省略三段论，而另一个则是直言判断的复合三段论。例如，“科学是不怕批评的，因为科学是真理，马克思主义是科学，所以，马克思主义是不怕批评的”。复带证式是两个前提都带有证明性的理由的带证式。例如，“真理是驳不倒的，因为真理是人们对客观事物规律的正确认识，马克思主义是真理，因为它是符合社会运动规律的正确认识，所以，马克思主义是驳不倒的。”带证式的前提带有证明性的理由，使它具有论证性...

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