演繹定理

演繹定理的定義為在數理邏輯中，演繹定理聲稱如果公式 F 演繹自 E，則蘊涵 E → F 是可證明的(就是或它可以自空集推導出來)。用符號表示。

基本介紹

• 中文名：演繹定理
• 外文名：Deduction theorem
• 套用學科：數理邏輯
• 適用領域：數理邏輯

定理定義

演繹定理可以推廣到假定公式的可數序列，使得從

，推出，等等直到

。

演繹定理是元定理: 在給定的理論中使用它來演繹證明，但它不是這個理論自身的一個定理。

定理推廣

這個定理的逆命題也成立。