Definitionen

elementare Aussagen

sind Sätze zur Beschreibung von Eigenschaften (Prädikaten) von Individuen aus einem bestimmten Individuenbereich .
z.B.: hat die Eigenschaft p.
Aussagen sind entweder wahr (w) oder falsch (f).

Aussagenvariable

sind Symbole für Aussagen.

aussagenlogische Ausdrücke

sind folgendermasen induktiv definiert:

1. die Aussagenvariablen und die Wahrheitswerte w und f sind Ausdrücke,
2. wenn A und B Ausdrücke sind, so sind auch und Ausdrücke,
3. nur die nach (1) und (2) gebildeten Zeichenketten sind Ausdrücke.

Elementare und zusammengesetzte Aussagen lassen sich mit Hilfe aussagenlogischer Ausdrücke beschreiben.