Aufgabe:
Bewisen Sie die folgenden Aussagen :
\( (A \rightarrow B) \leftrightarrow \neg(\neg A \vee B) \) ist ein Widerspruch.
\( \forall x, y: P(x) \wedge Q(y) \vDash \forall x[P(x)] \wedge \forall y[Q(y)] \)
Problem/Ansatz:
könnte jemand mir bei der Lösung helfen ?