MOC - Grundlagen der Logik in der Informatik

Automated Theorem Proving

ZFC Mengenlehre

Leere Menge

Mengenvereinigung Mengendurchschnitt Mengendifferenz disjunkte Aufteilung

Mengenlehre

Extensionalität Zwei Mengen sind gleich, wenn sie die gleichen Elemente enthalten.

Russellsches Paradox

Menge von Mengen $\mathcal{A}$ großer Durschnitt große Vereinigung

Kreuzprodukt

$A=B\iff (A\le B\text{ und }B=A)$

Induktion (Beweis) Course-Of-Values Induction

Backus-Naur-Form Strukturelle Induktion

Aussagenlogik

Wahrheitsbelegung Logische Konsequenz Interpretation Function

Logical Equivalences

Formale Deduktion

Deduction Natürliches Schließen

Ex Falso Quodlibet Tertium Non Datur

Reiterationsregel

Korrektheit Completeness

todo

Normalformen und Resolution

Ein Entscheidungsverfahren zum Erfüllbarkeitsproblem der Aussagenlogik.

NNF CNF Resolution

Prädikatenlogik

First-Order Predicate Logic Freie Variable Sentence

First-Order Natural Deduction

Unifikation

Unifikation

Pränexe Normalform

Skolemform Clause Normal Form

Herbrand Modelle

Quantorenelimination

Vollständigkeit First Order Logic