Logik

Dieses Kapitel handelt von den Grundlagen der Mathematik. Grundlegendes über Boolesche Algebren kann einfach und anschaulich erklärt werden. Versteht man erst das Prinzip von Booleschen Algebren, so ist damit schon der erste Schritt zum Verständnis der Aussagenlogik getan. Wir erklären die grundlegenden Operationen Und, Oder und die Negation sowie die Implikation und die Äquivalenz. Schließlich befassen wir uns mit Quantoren, also den Grundlagen der Prädikatenlogik, und legen somit den Grundstein zur Einführung unserer ersten mathematische Struktur, der Mengen, in Kapitel 4. In Abschnitt 3.3 werden wir schließlich über die Verwendung der Logik in der Mathematik und über korrekte Argumentation und Beweise sprechen.