 The deduction theorem expresses the fact that you can prove the conditional sentence \(\alpha\rightarrow \beta\) by assuming \(\alpha\) and then deriving \(\beta\). Unsurprisingly, it is possible to prove that this property holds for most deductive logics one would encounter, including both propositional and first-order logic.