0 Daumen
829 Aufrufe

Aufgabe:

Die Aufgabenstellung lautet:

Seien V und W zwei Teilmengen der reellen Zahlen. Geben Sie die Negation der folgenden Aussagen an:

$$\forall x \in V \quad\exists \in W : x^{2} = y \vee y^{2} = z$$


Problem/Ansatz:

Wie man generell negiert weiß ich, allerdings verwirrt der hintere Teil mit x2 = y sehr, da habe ich keinen Ansatz.

Avatar von

vor dem ...∈W  müsste wohl noch eine Variable stehen.

Oh tatsächlich, sorry! Da steht noch ein y,z davor.

Es handelt sich nicht um Aussagenlogik, sondern um Prädikatenlogik. Ich habe das geändert.

In der Aussagenlogik stehen die Variablen für Aussagen. Deine Formel kann mit aussagenlogischen Mitteln nicht weiter unterteilt werden. Die einzige Möglichkeit zur Negation ist also, einfach ein ¬ vor die Formel zu packen. Erst wenn man Prädikatenlogik verwendet, kann man die Struktur der Aussage analysieren und mit den für Prädiklatenlogik geltenden Regeln vereinfachn, was durch das Hinzufügen von ¬ entsteht.

1 Antwort

0 Daumen

Ganz allgemein:

Die Negation von "Für alle x Element V existiert..." ist

"Es gibt ein x Element V, für das ... nicht existiert."

Avatar von 55 k 🚀

Soweit komme ich noch mit aber was hat es mit x2=y ∨ y2=z auf sich?

@abakus

"Es gibt ein x Element V, für das ... nicht existiert."

Wie genau würdest du denn ... ersetzen?

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community