Aussagenlogik/v-Einführung im Antezedens/Variante/Aufgabe

Zeige

$\vdash (\alpha \rightarrow \beta )\wedge (\beta \rightarrow \gamma )\wedge (\neg \alpha \rightarrow \beta )\rightarrow \gamma .$

Eine Lösung erstellen