Negieren von Quantoren < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Hi,
kann mir einer sagen wie und ob man beim Negieren von Quantoren die Äquivalenz ändert?
Wenn man jetzt beispielsweise hat:
[mm] \forall z\in\IZ [/mm] : [mm] z²\ge25 \gdw z\ge5
[/mm]
In wieweit verändert sich [mm] \gdw?
[/mm]
Bleibt es und die Negation wäre dann:
[mm] \exists z\in\IZ [/mm] : [mm] z²<25\gdw [/mm] z<5 ?
Danke schon mal 
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 10:48 Do 19.03.2009 | | Autor: | M.Rex |
Hallo
Bei diesem Beispiel ist die Negation nicht ganz korrekt. Das [mm] "\gdw" [/mm] ändert sich meiner Ansicht nach eben zu [mm] \neg\gdw [/mm] .
Aber die Negation von $ P [mm] \gdw [/mm] Q $ ist, wie du ![[]](/images/popup.gif) hier nachlesen kannst $ P [mm] \gdw(\neq [/mm] Q) $
Marius
|
|
|
|
