带证式

带证式dài zhèng shì
词语解释：
指这样一种三段论，其中至少有一个前提是省略三段论的结论，而且带有该结论借以得出的大前提或小前提，以证明该结论的真实性。如：“科学是有用的，逻辑学是科学，因为其内容已由实践证明是真理，所以逻辑学是有用的。”其中的小前提“逻辑学是科学”是一个省略三段论的结论，而“逻辑学的内容已由实践证明是真理”就是该结论借以得出的小前提。
分词解释：
借以：
作为凭借，以便做某事：略举几件事实，借以证明这项工作的重要性。
科学：
①反映自然、社会、思维等的客观规律的分科的知识体系。
②合乎科学的：科学种田ㄧ这种说法不科学ㄧ革命精神和科学态度相结合。
得出：
1.获得;达到。如：他得出这个结论是多次考虑的结果。
2.算出。如：计算了这道题得出答案为46。
结论：
①从前提推论出来的判断。也叫断案。
②对人或事物所下的最后的论断。
有用：
有功用;有用处。