negierung mehrerer Quantoren < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Hallo,
meine frage bezieht sich auf die negation von Quantoren.
die generellen regeln wie ¬ Vx ¬ = Ex sind mir klar.
auch müsste ¬ ( Vx f() ) = ¬Vx f() = Ex ¬f() sein.
jetzt komme ich nicht ganz weiter, wenn 2 Quantoren erscheinen.
z.B. ¬( Ex Ey f() ) bezieht sich die negation jetzt nur auf einen quantor oder auf beide? und wenn es sich nur auf den ersten bezieht, wird durch seine veränderung dann auch der 2te beinflusst?
meine exakte fragestellen sieht in etwa so aus: ¬( ¬Ex Vy f() )
vielen dank für die Hilfe.
Gruß
Patrick
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 00:20 Mi 14.12.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
