帶證式
詞語解釋：
指這樣一種三段論，其中至少有一個前提是省略三段論的結論，而且帶有該結論借以得出的大前提或小前提，以證明該結論的真實性。如：“科學是有用的，邏輯學是科學，因為其內容已由實踐證明是真理，所以邏輯學是有用的。”其中的小前提“邏輯學是科學”是一個省略三段論的結論，而“邏輯學的內容已由實踐證明是真理”就是該結論借以得出的小前提。
分詞解釋：
借以：
作為憑借，以便做某事：略舉幾件事實，借以證明這項工作的重要性。
科學：
①反映自然、社會、思維等的客觀規律的分科的知識體系。
②合乎科學的：科學種田ㄧ這種說法不科學ㄧ革命精神和科學態度相結合。
得出：
1.獲得;達到。如：他得出這個結論是多次考慮的結果。
2.算出。如：計算了這道題得出答案為46。
結論：
①從前提推論出來的判斷。也叫斷案。
②對人或事物所下的最后的論斷。
有用：
有功用;有用處。