Die folgenden rekursiv definierten Wörter heißen die
Ausdrücke
dieser Sprache.
- Wenn
und
Terme sind, so ist
-
ein Ausdruck.
- Wenn ein -stelliges Relationssymbol ist und Terme sind, so ist
-
ein Ausdruck.
- Wenn
und
Ausdrücke sind, so sind auch
-
Ausdrücke.
- Wenn ein Ausdruck ist und eine Variable, so sind auch
-
Ausdrücke.