Begründe die folgende Ableitungsregel: Aus ⊢ α {\displaystyle {}\vdash \alpha } und ⊢ α ∧ β → γ {\displaystyle {}\vdash \alpha \wedge \beta \rightarrow \gamma } folgt ⊢ β → γ {\displaystyle {}\vdash \beta \rightarrow \gamma } .
