帶證式

詞語解釋

⒈ 指這樣一種三段論，其中至少有一個(gè)前提是省略三段論的結(jié)論，而且?guī)в性摻Y(jié)論借以得出的大前提或小前提，以證明該結(jié)論的真實(shí)性。如：“科學(xué)是有用的，邏輯學(xué)是科學(xué)，因?yàn)槠鋬?nèi)容已由實(shí)踐證明是真理，所以邏輯學(xué)是有用的?！逼渲械男∏疤帷斑壿媽W(xué)是科學(xué)”是一個(gè)省略三段論的結(jié)論，而“邏輯學(xué)的內(nèi)容已由實(shí)踐證明是真理”就是該結(jié)論借以得出的小前提。