Zeige die folgende Ableitungsregel für die Aussagenlogik.
Aus ⊢ α → ( β → γ ) {\displaystyle {}\vdash \alpha \rightarrow (\beta \rightarrow \gamma )} und ⊢ δ → β {\displaystyle {}\vdash \delta \rightarrow \beta } folgt ⊢ α → ( δ → γ ) {\displaystyle {}\vdash \alpha \rightarrow (\delta \rightarrow \gamma )} .
und 
folgt 
.
