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

Zeige, dass die Aussage

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

allgemeingültig ist.

Eine Lösung erstellen