帶證式的意思

指這樣一種三段論，其中至少有一個前提是省略三段論的結論，而且帶有該結論借以得出的大前提或小前提，以證明該結論的真實性。如：「科學是有用的，邏輯學是科學，因為其內容已由實踐證明是真理，所以邏輯學是有用的。」其中的小前提「邏輯學是科學」是一個省略三段論的結論，而「邏輯學的內容已由實踐證明是真理」就是該結論借以得出的小前提。

---

借以：

作為憑借，以便做某事：略舉幾件事實，借以證明這項工作的重要性。

科學：

①反映自然、社會、思維等的客觀規律的分科的知識體系。

②合乎科學的：科學種田ㄧ這種說法不科學ㄧ革命精神和科學態度相結合。

得出：

1.獲得;達到。如：他得出這個結論是多次考慮的結果。

2.算出。如：計算了這道題得出答案為46。

結論：

①從前提推論出來的判斷。也叫斷案。

②對人或事物所下的最后的論斷。

有用：

有功用;有用處。