0 Daumen
137 Aufrufe

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 ?

Avatar von

1 Antwort

0 Daumen

Mache bei dem ersten einfach eine Wahrheitswertetafel.

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

Avatar von 289 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community