数学逻辑中的一个元定理，也称为“条件证明”。它指出，如果命题公式 
可以从命题公式集合 
推导出来，那么命题公式 
可以从 
推导出来。
在不太正式的 setting 中，这意味着如果一个论题 
可以在假设 
下被证明，那么可以证明 
蕴含 
在假设 
下成立。
演绎定理
另请参阅
可推导的, 演绎, 命题公式此条目由 Margherita Barile 贡献
使用 Wolfram|Alpha 探索
参考文献
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.在 Wolfram|Alpha 上引用
演绎定理请引用为
Barile, Margherita. "演绎定理。" 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/DeductionTheorem.html