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 ?
Mache bei dem ersten einfach eine Wahrheitswertetafel.
Das eine ist genau dann wahr, wenn das andere falsch ist.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos