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)}

ist