Aussagenlogik II

Die Aussagen sind als wohldefinierte Wörter über diesem Zeichenvorrat formuliert. Diese heißen auch Formeln. Die Syntax der Aussagen ist durch folgende induktive Vorschrift gegeben:
- Basis: Jede Aussagenvariable ist eine (atomare) Formel.
- Induktion: Wenn A und B Formeln sind, dann sind auch
- Formeln.
- Vollständigkeit: Alle Formeln werden durch die wiederholte Anwendung vorstehender Regeln erzeugt.

Wir bezeichnen nicht-atomare Formeln mit Großbuchstaben. Eine Formel heißt n-stellig, wenn sie n binäre Variable enthält. Beispiele: