Formules de base et formules bien fondées
Définition : Formules de base
Les formules de base incluent les atomes sur \(R\) 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.