輸入需要查詢的詞語：
詞條：演繹證明
yǎn yi zheng ming
「歸納證明」的對稱。運用演繹推理所作的證明。論據是一般性知識，論題是在該一般性知識範圍之內的知識或事實。如以「一切科學都是有用的」來證明「邏輯學是有用的」。