Aussagenlogik:

• Syntax und Semantik

• Automatisches Schließen: Resolution

• Formale Deduktion: Korrektheit, Vollständigkeit

Prädikatenlogik erster Stufe:

• Syntax und Semantik

• Automatisches Schließen: Unifikation, Resolution

• Quantorenelimination

• Anwendung automatischer Beweiser

• Formale Deduktion: Korrektheit, Vollständigkeit