Frage zu der Negation des Allquantors?
Hi,
Stimmt diese Negation?
¬(∀x: (x+ 1)^2 größer 0⇔x ungleich −1)
∃x: (x+ 1)^2 kleiner/gleich 0⇔x ungleich −1) oder (x+ 1)^2 größer 0⇔x gleich −1)
Bitte entschuldigt meine blöde Schreibweise
LG
1 Antwort
Von gutefrage auf Grund seines Wissens auf einem Fachgebiet ausgezeichneter Nutzer
Schule, Mathematik
Ich interpretiere deine Frage so:
Ist
∃x: (x+ 1)^2 kleiner/gleich 0⇔x ungleich −1)
oder
∃x: (x+ 1)^2 größer 0⇔x gleich −1)
die Negation der ersten Aussageform?
-----
Antwort: Ja, beide.
-----
Falls das "oder" als logischer Operator hinter dem Existenzquantor gemeint sein sollte: dann natürlich ebenfalls - eine oder-Verknüpfung zweier äquivalenter Aussageformen ist zu jeder der Aussageformen äquivalent.
Woher ich das weiß:Hobby – Hobby, Studium, gebe Nachhilfe
Vielen Dank! :) Sollte eigentlich ein Operator sein. Aber dann stimmt es ja