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