Hola muy buenas, tenia una duda con el FV para formulas.
Si tengo una formula de este estilo:
x < y
si aplico FV al ser < un predicado me queda FV(x) y FV(y) pero eso entonces seria FV aplicada a TERM? O sea, esa FV cambia en este caso a la aplicada a TERM, no me queda tan claro eso, ya que parecería que se superponen FV en TERM y FORM
Desde ya muchas gracias