Inhalt

- Grundlagen der Mathematik

   - Bezeichnungen

   - Elementarmathematik

   - Logik

      - Aussagenlogik

      - Prädikatenlogik

       Formale Theorien

      - Modelltheorie

       Ableitung

       Gödelscher

       Unvollständigkeitssatz

   - Mengenlehre

   - Zahlenbereiche

- Diskrete Mathematik

- Algebra

- Lineare Algebra

- Geometrie

- Analysis

- Differentialgleichungen

- Funktionalanalysis

- Differentialgeometrie

- Topologie

- Numerik

- Stochastik

- Unsortiertes

- Anbieterkennzeichnung

Ableitung in der Logik

Unter einer Ableitung oder Herleitung versteht man in der mathematischen Logik eine formale Folgerung von (neuen) Aussagen aus einer Menge von gegebenen Aussagen. Die zulässigen Schlussregeln sind in einem Kalkül definiert.

Die einfache Anwendung einer solchen Regel auf Aussagen nennt man einen Ableitungsschritt.

Eine Aussage heißt ableitbar oder beweisbar aus einer gegebenen Menge von Aussagen, wenn sie durch eine endliche Folge von Ableitungsschritten erreicht werden kann, wobei man von einer (ggf. leeren) Aussagenmenge , den Prämissen oder Annahmen, ausgeht.

Fügt man alle ableitbaren Aussagen zur Aussagenmenge hinzu (man sagt, man bildet den deduktiven Abschluss), so erhält man eine Theorie.

Beispiel (vgl. Aussagenlogik):

sei als Aussagenmenge gegeben und eine Ableitungsregel des Kalküls sei

,

so kann z. B. und abgeleitet werden.

Bei der Ableitbarkeitsrelation (bzw. dem Ableitbarkeitsbegriff) handelt es sich um eine Relation zwischen einer Menge von Aussagen, den Prämissen, und einer einzelnen Aussage, der Konklusion. Für die Ableitbarkeit wird oft das Symbol verwendet. ist dabei zu lesen als: "aus ist ableitbar". Führen wir obiges Beispiel fort, so können wir schreiben:

usw.

Unterschiedliche Logiken definieren jeweils einen unterschiedlichen Ableitbarkeitsbegriff. So gibt es einen aussagenlogischen Ableitbarkeitsbegriff, einen prädikatenlogischen, einen Intuitionistischen, einen modallogischen usw.

Obwohl es also unterschiedliche Ableitbarkeitsrelationen gibt, gibt es doch eine Reihe von Eigenschaften, die den meisten Ableitbarkeitsrelationen (zumindest den obengenannten) gemeinsam sind

• Inklusion: (Jede Annahme ist auch eine Folgerung).
• Idempotenz: Wenn und , dann (Durch Hinzunahme von Folgerungen zu den Annahmen erhält man keine neuen Folgerungen.)
• Monotonie: Wenn , dann (Hinzufügen von Annahmen erhält die bisher möglichen Folgerungen.)
• Kompaktheit; Wenn , dann gibt es eine endliche Menge mit , so dass . (Jede Folgerung aus einer unendlichen Annahmenmenge ist bereits aus einer endlichen Teilmenge zu erreichen.)

Alle Pädagogen sind sich darin einig: man muß vor allem tüchtig Mathematik treiben, weil ihre Kenntnis fürs Leben größten direkten Nutzen gewährt.

Felix Klein

Druckansicht     

Amazon.de empfiehlt:

Logik

Wesley C. Salmon

Einführung in die formale Logik für Philosophen

Thomas Zoglauer

Einführung in die mathematische Logik

Alfred Tarski

Logik für Dummies

Mark Zegarelli

Einführung in die Logik. (De Gruyter Studienbuch)

Ansgar Beckermann

Logik für Informatiker

Martin Kreuzer

Bücher zum Thema Logik auf
• bol.de
• buch.de
• buecher.de
• libri.de