2.3.2 Asignaciones

 

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(t1,t2,...,tn)) = F(x1,x2,...xn),

donde F = I(f) y xi = A(ti) [3]