數學邏輯中的一個元定理，也稱為“條件證明”。它指出，如果命題公式 
可以從命題公式集合 
推匯出來，那麼命題公式 
可以從 
推匯出來。
在不太正式的 setting 中，這意味著如果一個論題 
可以在假設 
下被證明，那麼可以證明 
蘊含 
在假設 
下成立。
演繹定理
另請參閱
可推導的, 演繹, 命題公式此條目由 Margherita Barile 貢獻
使用 探索
參考文獻
Kleene, S. C. "演繹定理。" §21 in 元數學導論。 Princeton, NJ: Van Nostrand, pp. 90-94, 1964.Monk, D. J. 數理邏輯。 New York: Springer-Verlag, p. 118, 1976.Robbin, J. W. "演繹定理。" §21 in 數理邏輯。 New York: W. A. Benjamin, pp. 16-20, 1969.Shoenfield, J. R. "演繹定理。" §3.3 in 數理邏輯。 Reading, MA: Addison-Wesley, pp. 33-34, 1967.在 上引用
演繹定理請引用為
Barile, Margherita. "演繹定理。" 來自 Web 資源，由 Eric W. Weisstein 建立。 https://mathworld.tw/DeductionTheorem.html