Definicion de FV

Re: Lógica: Definicion de FV

de Juan Diego Campo -
Número de respuestas: 0
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