Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Logik Rahmenplan <strong>Logische</strong> <strong>Gr<strong>und</strong>lagen</strong> Äquivalenzumformungen Beweise Bedingungen Zum Anfang Quellen<br />
Prädikatenlogik<br />
Wahrheitswerte<br />
Beachte, auch in der Prädikatenlogik lassen sich Wahrheitswerte<br />
den Aussagen zuordnen.<br />
Die Aussage ∃x : F (x) ist genau dann wahr, wenn es<br />
min<strong>des</strong>tens eine Belegung der Variable x gibt, sodass F(x)<br />
erfüllt ist.<br />
Die Aussage ∀x : F (x) ist genau dann wahr, wenn für alle<br />
Belegungen der Variable x, F (x) erfüllt ist.<br />
24 / 52