19.11.2013 Aufrufe

Skripten - an der Fakultät für Mathematik! - Universität Wien

Skripten - an der Fakultät für Mathematik! - Universität Wien

Skripten - an der Fakultät für Mathematik! - Universität Wien

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

40 3. LOGIK<br />

Mitunter ist es aus <strong>der</strong> Formulierung nur schwer zu erkennen, dass ein ∃∀ o<strong>der</strong> ein ∀∃<br />

versteckt ist. D<strong>an</strong>n ist es beson<strong>der</strong>s wichtig, die Formulierung sehr l<strong>an</strong>ge zu prüfen und<br />

eventuell auch formalisiert noch einmal aufzuschreiben.<br />

• ”<br />

Der Wert von y = f(x) ist unabhängig von <strong>der</strong> Wahl von x“ ist gleichbedeutend<br />

mit ∃y : ∀x : f(x) = y.

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!