Aussagenlogik

Es sei  eine Menge (deren Elemente wir als Aussagenvariable bezeichnen). Dann wird die zugehörigeSprache der Aussagenlogik  (zu ) rekursiv durch folgende Regeln definiert.

1. Jedes  gehört zu .
2. Wenn , so ist auch .
3. Wenn , so sind auch .