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

Aus Wikiversity

Zeige, dass die Aussage

allgemeingültig

ist.