带证式

前提带有证明性理由的一种复合三段论，即一个或两个前提是另一个省略三段论的结论。带证式分有单带证式和复带证式两种。单带证式的两个前提中有一个前提带有证明性理由，即有一个前提是另一个省略三段论的结论。如：“精神病人不负刑事责任，因为精神病人不能分辩或控制自己的行为，某甲是精神病人，所以，某甲不负刑事责任。”其中，大前提“精神病人不负刑事责任”带有证明性理由，是省略三段论“精神病人是不能分辩或控制自己行为的人； 所以，精神病人不负刑事责任”的结论。复带证式的两个前提都带有证明性理由，即两个前提分别是两个省略三段论的结论。如：“反动思想应该加以批判，因为反动思想是阻碍社会发展的；‘天才论’是反动思想，因为‘天才论’是唯心主义的先验论； 所以，‘天才论’应该加以批判。”大前提“反动思想应该加以批判”带有证明性理由，是省略三段论“反动思想阻碍社会发展，所以，反动思想应该加以批判”的结论。小前提“‘天才论’是反动思想”也带有证明性理由，是省略三段论“‘天才论’是唯心主义先验论，所以，‘天才论’是反动思想”的结论。带证式具有论证性强，说服力大的优点。