Formules de base et formules bien fondées
Définition : Formules de base
Les formules de base incluent les atomes sur et les expressions e=e' pour des termes e, e'.
Définition : Formules bien fondées
Les formules bien formées sont de la forme :
\varphi, où \varphi est une formule de base sur R;
ou (\varphi \wedge \psi) où \varphi et \psi sont des formules bien-formées sur R;
ou \exists x \ \varphi, où x est une variable et \varphi une formule bien formée sur R.
Exemple :
\varphi_0 = Film(x_{t}, "Bergman", x_a) \wedge Seances(x_s, x_t, x_h) est une formule bien-formée, puisque Film(x_t, "Bergman", x_a) et Seances(x_s, x_t, x_h) sont deux atomes.