Beweisen Sie ,Wiederspruch

Question

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 ?

Answer 1

Mache bei dem ersten einfach eine Wahrheitswertetafel.

Das eine ist genau dann wahr, wenn das andere falsch ist.