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 />
Einführung<br />
Historischer Überblick<br />
Die Logik wurde als ” Wissenschaft vom richtigen<br />
Schließen”von Aristoteles begründet <strong>und</strong> hat, durch<br />
Mittelalter bis zu Kant <strong>und</strong> Hegel, die verschiedensten<br />
philosophischen (<strong>und</strong> theologischen) Erweiterungen erfahren.<br />
George Boole führte als erster für den Teilbereich der<br />
Aussagenlogik eine Formalisierung ein. Dies kann insofern als<br />
die Geburtsst<strong>und</strong>e mathematischer Logik dienen, als damit die<br />
Logik einer mathematischen Betrachtung zugänglich wurde.<br />
Booles Ansatz wurde später zur Prädikatenlogik erweitert.<br />
5 / 52