從一般原理或前提出發，按邏輯推匯出具體結論的推理方法（演繹推理）。
数学の証明では、一般の定理から個別の命題を演繹していくことが多い。
在數學證明中，常從一般定理演繹出具體命題。
彼は観察結果から直接結論を出すのではなく、まず理論から演繹して検証した。
他不是直接從觀察結果得出結論，而是先從理論演繹出來再驗證。
演繹と帰納は対照的な推論の方法だ。
演繹和歸納是對立的推理方法。