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