演繹定理

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