輸入需要查詢的詞語：
詞條：帶證式
dai zheng shi
指這樣一種三段論，其中至少有一個前提是省略三段論的結論，而且帶有該結論藉以得出的大前提或小前提，以證明該結論的真實性。如：「科學是有用的，邏輯學是科學，因為其內容已由實踐證明是真理，所以邏輯學是有用的。」其中的小前提「邏輯學是科學」是一個省略三段論的結論，而「邏輯學的內容已由實踐證明是真理」就是該結論藉以得出的小前提。