Corpus Mathematicum 2: Logik

Kapitel 1: Einleitung

    1. Der Begriff der Logik

 

    1. Die Rolle der Logik in der Mathematik

 

 

Kapitel 2: Aussagenlogik

    1. Der Begriff der Aussage

 

    1. Definitionszeichen

      1. Per Definition gleich [image]

      2. Per Definition gleichwertig [image]

 

    1. Junktoren

      1. Konjunktion [image]

      2. Disjunktion [image]

      3. Logische Äquivalenz [image]

      4. Implikation [image]

      5. Kontravalenz [image]

      6. Negation [image], [image]

 

    1. Schaltalgebra

 

    1. Quantoren

      1. Allquantor [image]

      2. Existenzquantor: mindestens ein Element [image]

      3. Existenzquantor: genau ein Element [image]

      4. Existenzquantor: kein Element [image]

 

    1. Anwendung

 

 

Kapitel 3: Prädikatenlogik

    1. Motivation

    2. Eine formale Sprache

 

Kapitel 4: Nichtklassische Logiken

    1. Nicht monotone Logiken

    2. Fuzzy Logik

    3. Temporale Logik

    4. Substrukturelle Logik

    5. Alethische Modallogik

 

Kapitel 5: Beweise

    1. Deduktionszeichen

    2. Ableitbarkeitsrelation [image]

    3. Schlussfolgerung [image]

    4. Tautologie [image]

    5. Kontradiktion [image]

    6. Logische Ableitung [image], [image]

    7. Direkte und indirekte Beweise

    8. Konstruktive und nichtkonstruktive Beweise

    9. Widerspruchsbeweis ↯

    10. Vollständige Induktion

    11. Ende des Beweises [image]

 

Quelle: https://de.wikibooks.org/wiki/Mathematik:_Logik

 

Quelle: https://de.wikibooks.org/wiki/Mathe_f%C3%BCr_Nicht-Freaks:_Grundlagen_der_Mathematik