Forum "Prädikatenlogik" - negierung mehrerer Quantoren - ev.vorhilfe.de

- Förderverein -

Der Förderverein. Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
	Hallo Gast! [ einloggen \| registrieren ]
	Startseite · Mitglieder · Impressum

Forenbaum

VH e.V.

Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation

Startseite...
Suchen
Impressum

Das Projekt

Server und Internetanbindung werden durch Spenden finanziert.

Organisiert wird das Projekt von unserem Koordinatorenteam.

Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.

Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".

Partnerseiten

Weitere Fächer:

Vorhilfe.de

FunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme

Forum "Prädikatenlogik" - negierung mehrerer Quantoren

negierung mehrerer Quantoren < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe

Ansicht:

[ geschachtelt ]

Forum "Prädikatenlogik" |

Alle Foren |

Forenbaum | Materialien

negierung mehrerer Quantoren: Frage (überfällig)

Status:	(Frage) überfällig
Datum:	23:24 So 11.12.2011
Autor:	feuerodem

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.

Bezug

negierung mehrerer Quantoren: Fälligkeit abgelaufen

Status:	(Mitteilung) Reaktion unnötig
Datum:	00:20 Mi 14.12.2011
Autor:	matux

$MATUXTEXT(ueberfaellige_frage)