Zeige, dass aus ⊢ α 1 , … , ⊢ α n {\displaystyle {}\vdash \alpha _{1},\ldots ,\vdash \alpha _{n}} und ⊢ α 1 ∧ … ∧ α n → β {\displaystyle {}\vdash \alpha _{1}\wedge \ldots \wedge \alpha _{n}\rightarrow \beta } die Ableitbarkeit ⊢ β {\displaystyle {}\vdash \beta } folgt.
