Formules de base et formules bien fondées

DéfinitionFormules de base

Les formules de base incluent les atomes sur et les expressions e=e' pour des termes e, e'.

DéfinitionFormules 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)\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.