演ㄧㄢˇ繹ㄧˋyǎnyì推ㄊㄨㄟ理ㄌㄧˇtuīlǐ

简演绎推理

形式邏輯中指由普遍性（全稱）大前提推出個別性（特稱）結論的推理，其前提蘊涵結論，是必然性推理，意指只要前提為真，推論正確，則保證結論亦為真。如三段論推理就是運用 演繹推理的方法。

德Deduktion (S, Math)