Ich Bitte um Überprüfung meiner Formalisierung
Angabe: X sei eine Menge. Formalisieren Sie die folgenden umgangssprachlich formulierten Verknüpfungen der Aussageformen p(x), q(x), r(x) und s(x,y) mit Hilfe von Quantoren, Bilden Sie außerdem die Negation jeder der Aussagen.
a) ,,Für alle Elemente x der Menge X für die p(x) gilt, gilt auch q(x) oder r(x)."
Meine Lösung: (∀x∈X) : p(x) v q(x) v r(x)
Negation: (∃x∈X) : ¬p(x) Λ ¬q(x) Λ ¬r(x)
b) ,,Für alle x in X gibt es ein y in X, sodass s(x,y) gilt."
Meine Lösung: (∀x∈X)(∃y∈X) : s(x,y)
Negation: (∃x∈X)(∀y∈X) : ¬s(x,y)
c) ,,Falls p(x) nicht für alle x in X falsch ist, so ist q(y) für zumindest ein y∈X wahr."
Meine Lösung: (∃x∈X) : p(x) => q(y) : (∃y∈X)
Negation: (∀x∈X) : ¬p(x) => ¬q(y):(∀y∈X)
Bitte verbessert meine Lösungen sodass die Antwort korrekt ist. Ich !!!