Hola buenas tardes, tengo una duda con la eliminacion del existe en este ejercicio:
en el (*1) tendriamos que decir que x no ocurre libre en bottom ni en 
pero dice que x no pertenece a las variables libres de ambas formulas, lo cual no entiendo porque implicaria que x esta ligada en bottom? o puede pasar que no ocurra libre ni ocurra ligada? si este ultimo caso esta bien entonces estaria bien hacer lo siguiente?:
