Aufgabe: Zeige ohne die Verwendung von Wahrheitstafeln
Problem/Ansatz:
\( \neg(p \rightarrow q) \Leftrightarrow p \wedge \neg q \)
\( \neg(p \rightarrow q) \)
\( \Leftrightarrow \neg(\neg p \lor q) \)
\( \Leftrightarrow \neg \neg p \land \neg q \)
\( \Leftrightarrow p \wedge \neg q \)
