La relación de satisfacción relaciona estructuras, asignaciones variables y fórmulas;\Sat[,s]MA se define por inducción sobre la estructura deA. \Sat[,s]MAsólo depende de la interp...La relación de satisfacción relaciona estructuras, asignaciones variables y fórmulas;\Sat[,s]MA se define por inducción sobre la estructura deA. \Sat[,s]MAsólo depende de la interpretación de los símbolos que realmente ocurren enA, y en particular no depende des si noA contiene variables libres.
