Aussagenlogik/Implikationen/Schlussregel/1/Aufgabe

Zeige die folgende Ableitungsregel für die Aussagenlogik.

Aus

{}\vdash \alpha \rightarrow (\beta \rightarrow \gamma )

und

{}\vdash \delta \rightarrow \beta

folgt

{}\vdash \alpha \rightarrow (\delta \rightarrow \gamma )

.