Hola Leonardo, para saber cuanto vale FV(t) de un t∈TERM, primero hay
que conocer la definición de TERM (y para eso el tipo de similaridad con
el que estas trabajando).
Si tu tipo de similaridad es <1;1;1> (tenés un predicado unario, una
función unaria y una constante), entonces la definición de FV queda así:
FV(c₁) = ∅
FV(xᵢ) = {xᵢ}
FV(f₁(t)) = FV(t)
Según la definición, si tomás el término f(f(c₁)):
FV(f(f(c₁))) = FV(f(c₁)) = FV(c₁) = ∅
así que hay términos diferentes a las constantes que no tienen
variables.
Saludos,
--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR