Frage zu Aussagenlogik / Quantoren

Neue Frage »

master17 Auf diesen Beitrag antworten »
Frage zu Aussagenlogik / Quantoren
Servus Jungs und Mädels!

Bin gerade fleißig am Übungsaufgaben machen, bin mir aber nicht sicher, ob das richtig ist was ich mir da ausgedacht habe. Hier erstmal die Aufgabenstellung:


Seien A,B,C nichtleere Teilmengen von R. Formulieren Sie die folgenden Aussagen durch Quantoren. Geben sie auch die Verneinung der Aussagen an:

(1) Für alle x € A gibt es mindestens ein y € B, so dass y = x + 10
(2) Für alle z € C gibt es x € A und y € B, so dass z < x + y <  z + 5


als Lösung für die unnegierten Sätze habe ich mir folgendes gedacht:

(1) {A, B € R | V x € A : $ y € B : y = x + 10}
(2) {A, B, C € R | V z € C : x € A ^ y € B : z < x + y < z + 5}

V ist das "umgedrehte A" (für alle...)
$ habe ich als das "gedrehte E" (mind. ein...) genommen

leider weiss ich nicht, ob und wo ich Klammern setzen muss und weiß dementsprechend auch nicht, wie ich die Teile negieren muss.

Ich hoffe ihr könnt mir bei diesem kleinen Problem helfen ;-)
Mathespezialschüler Auf diesen Beitrag antworten »

Verschoben
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »