带证式

带证式 的意思和解释

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