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.
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.
Ganz allgemein:
Die Negation von "Für alle x Element V existiert..." ist
"Es gibt ein x Element V, für das ... nicht existiert."
Soweit komme ich noch mit aber was hat es mit x2=y ∨ y2=z auf sich?
@abakus
Wie genau würdest du denn ... ersetzen?
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos