演繹證明

【意思解釋】“歸納證明”的對稱。運用演繹推理所作的證明。論據是一般性知識，論題是在該一般性知識範圍之內的知識或事實。如以“一切科學都是有用的”來證明“邏輯學是有用的”。