Aussagenlogik/Allgemeingültig/1/Aufgabe

Zeige, dass der aussagenlogische Ausdruck

${\left(r\rightarrow {\left(p\wedge \neg q\right)}\right)}\rightarrow {\left(\neg p\rightarrow {\left(\neg r\vee q\right)}\right)}$

allgemeingültig ist

Zur Lösung, Alternative Lösung erstellen