On attribue un "sens" (une valeur de vérité) à chacune des formules en interprétant les différents symboles (fonctions, prédicats), les constantes et les variables.
