Hola una consulta, en la justificación de la introducción del para todo, en donde no tiene que estar libre la variable? En todas las hipótesis no?
Porque en un parcial que yo hice había una hipótesis que te la dan (osea que no se consigue de otro paso) y la respuesta era que X no pertenecía a FV(conjunto vacío)
