dài zhèng shì

带证式

带证式（dài zhèng shì）：指这样一种三段论，其中至少有一个前提是省略三段论的结论，而且带有该结论借以得出的大前提或小前提，以证明该结论的真实性。如：“科学是有用的，逻辑学…。