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
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.