Terme und Prädikate

Unter der Annahme einer Signatur $\sigma$ und einer Variablenmenge $X$ lassen sich Terme und Prädikate wie folgt bilden:

Terme ($T_{\sigma }(X)$):
Die induktive Definition lautet:

• Variablen: $x\in X$.
• Konstanten: $f\in {\sigma }_F$ mit $ar(f)=0$.
• Funktionsanwendungen: $f(t_1,\dots ,t_n)$ für $f\in {\sigma }_F$ und $t_i\in T_{\sigma }(X)$.

Prädikate ($P{r}_{\sigma }(X)$):
Diese Menge umfasst alle Ausdrücke der Gestalt $r(t_1,\dots ,t_n)$ mit $r\in {\sigma }_R$ und $t_i\in T_{\sigma }(X)$.

Links

• FoG-2526-FS_v5.pdf