詞條：演繹證明

yǎn yì zhèng míng

“歸納證明”的對稱。運用演繹推理所作的證明。論據(jù)是一般性知識，論題是在該一般性知識范圍之內(nèi)的知識或事實。如以“一切科學(xué)都是有用的”來證明“邏輯學(xué)是有用的”。