Buenas! Espero se encuentren bien.
El ejercicio es el siguiente
Mi solución fue la siguiente
Mi duda en es el (2*).
Mi idea intuitiva de "termino libre para variable en formula" es que al suplantar la variable por el termino en la formula no aparece una ligadura nueva.
A su vez, tengo entendido que las ligaduras aparecen a partir de los "Para todo" y de los "Existe".
Mi termino es "z".
Teniendo los tres puntos anteriores presentes, para que pudiera apareciera una ligadura nueva dentro de mi formula debería existir dentro de esta algún "Para todo z" o "Existe z".
Como se que z no aparece en mi formula, entonces no aparece ningun "Para todo z" ni "Existe z", entonces al suplantar x por z no podría aparecer ninguna ligadura nueva, por lo que "z esta libre para x en phi" es correcto.
Este razonamiento es correcto? Hay alguna forma mas simple de justificar esto?
Muchas gracias.
Saludos,
Diego Furrer.