Aussagenlogik/Implikationen/Schlussregel/1/Aufgabe

Zeige die folgende Ableitungsregel für die Aussagenlogik.

Aus $⊢\alpha \to (\beta \to \gamma )$ und $⊢\delta \to \beta$ folgt $⊢\alpha \to (\delta \to \gamma )$.

Eine Lösung erstellen