Teórico de Semántica - Lógica de Primer Orden

Hola. Esto había quedado para atrás.
La condición significa que no hay más variables libres que $x$. Podría haber menos.
Y esta parte de la demostración es la misma.

Si miran el documento, la prueba se separa en Sentencias (que es esta) y fórmulas en general.
La diferencia es lidiar con la clausuras. Pero en cierto momento, se convierten en la misma demostración.

Saludos

Saludos
FDO.