带证式拼音 :dài zhèng shì
带证式注音 :ㄉㄞˋ ㄓㄥˋ ㄕˋ
⒈ 指这样一种三段论,其中至少有一个前提是省略三段论的结论,而且带有该结论借以得出的大前提或小前提,以证明该结论的真实性。如:“科学是有用的,逻辑学是科学,因为其内容已由实践证明是真理,所以逻辑学是有用的。”其中的小前提“逻辑学是科学”是一个省略三段论的结论,而“逻辑学的内容已由实践证明是真理”就是该结论借以得出的小前提。