Les formules du langage sont interprétées, suivant la sémantique de la logique considérée, en leur attribuant une valeur de vérité. La syntaxe du calcul des prédicats nécessite d`introduire une autre notion, celle de terme, la syntaxe des termes du langage étant liée à une signature. ...