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