Interprétation des termes
Soit une formule F et I une interprétation de cette formule. On peut étendre l'interprétation I aux termes de F :
à chaque symbole de constante, on associe sa valeur selon I ;
à chaque variable, on associe la variable elle-même ;
à chaque terme f (t1, . . ., tn), on associe le terme f′ (t'1, . . ., t'n) où t'1, . . ., t'n sont les interprétations des t1, . . ., tn et f′ est l'interprétation de f.
