Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Logische Grundlagen des Mathematikunterrichts - Mathematik und ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Logik Rahmenplan <strong>Logische</strong> <strong>Gr<strong>und</strong>lagen</strong> Äquivalenzumformungen Beweise Bedingungen Zum Anfang Quellen<br />
Prädikatenlogik<br />
Formalisierung<br />
Mit Hilfe der Prädikatenlogik lässt sich ein großer Bereich an<br />
Sätzen formalisieren <strong>und</strong> dann auf seine Gültigkeit innerhalb eines<br />
Axiomsystems prüfen.<br />
Ein Mädchen spielt Schach.<br />
Es gibt jemanden, der Mädchen ist <strong>und</strong> Schach spielt.<br />
Es gibt ein x, für das gilt: x ist Mädchen <strong>und</strong> x spielt Schach.<br />
∃x : x ist Mädchen ∧ x spielt Schach.<br />
23 / 52