Ausdrücke erster Stufe/Über Alphabet/Rekursiv/Definition

Ausdruck in einer Sprache erster Stufe

Es sei ein Alphabet einer Sprache erster Stufe gegeben. Dann nennt man die folgenden rekursiv definierten Wörter über diesem Alphabet die Ausdrücke dieser Sprache.

1. Wenn $t_1$ und $t_2$ Terme sind, so ist

   $t_1=t_2$

   ein Ausdruck.

2. Wenn $R$ ein $n$-stelliges Relationssymbol ist und $t_1,\dots ,t_n$ Terme sind, so ist

   $R{t}_1\dots t_n$

   ein Ausdruck.

3. Wenn $\alpha$ und $\beta$ Ausdrücke sind, so sind auch

   $\mathrm{\neg }\left(\alpha \right),\left(\alpha \right)\wedge \left(\beta \right),\left(\alpha \right)\vee \left(\beta \right),\left(\alpha \right)\to \left(\beta \right),\left(\alpha \right)\leftrightarrow \left(\beta \right)$

   Ausdrücke.

4. Wenn $\alpha$ ein Ausdruck und $x$ eine Variable ist, so sind auch

   $\mathrm{\forall }x\left(\alpha \right)\text{ und }\mathrm{\exists }x\left(\alpha \right)$

   Ausdrücke.