Zeige ohne die Verwendung von Wahrheitstafeln

Question

Aufgabe: Zeige ohne die Verwendung von Wahrheitstafeln

Problem/Ansatz:

\( \neg(p \rightarrow q) \Leftrightarrow p \wedge \neg q \)

Answer 1

\( \neg(p \rightarrow q)  \)

\( \Leftrightarrow  \neg(\neg p \lor q)  \)

\( \Leftrightarrow \neg \neg p \land \neg q \) 

\( \Leftrightarrow  p \wedge \neg q \)