帶證式
讀音：dài zhèng shì
基礎釋義
指這樣一種三段論，其中至少有一個前提是省略三段論的結論，而且帶有該結論借以得出的大前提或小前提，以證明該結論的真實性。如：“科學是有用的 ，邏輯學是科學，因為其內容已由實踐證明是真理，所以邏輯學是有用的。”其中的小前提“邏輯學是科學”是一個省略三段論的結論，而“邏輯學的內容已由實踐證明是真理”就是該結論借以得出的小前提。
讀音：dài zhèng shì
指這樣一種三段論，其中至少有一個前提是省略三段論的結論，而且帶有該結論借以得出的大前提或小前提，以證明該結論的真實性。如：“科學是有用的 ，邏輯學是科學，因為其內容已由實踐證明是真理，所以邏輯學是有用的。”其中的小前提“邏輯學是科學”是一個省略三段論的結論，而“邏輯學的內容已由實踐證明是真理”就是該結論借以得出的小前提。