Una asignación de variables, A, es una función que hace corresponder elementos de U a las variables que figuran en las sentencias. Las constantes corresponden a los elementos de U según define la interpretación, y las funciones se aplican también en elementos de U, según su interpretación. En general, dada una interpretación I y una asignación de variables A, podemos extender A a una asignación de términos:

Si c es un símbolo de constante, A(c) = I(c);

Si f es un símbolo de función, A(f(t₁,t₂,...,t_n)) = F(x₁,x₂,...x_n),

donde F = I(f) y x_i = A(t_i) [3]