Práctico 6

Hola
Sin duda que se puede utilizar la definición para resolver el ejercicio. La forma que se usa en el práctico está más guiada por la intuición del significado de "término libre para una variable".

Si un término t es libre para una variable x en una formula $\phi$ al realizar la sustitución $\phi [t/x]$ no se deben generar ligaduras nuevas (que no existían en la fórmula original). Por lo tanto la forma planteada en el video es realizar la sustitución y verificar si se cumple la condición o no.

Pueden optar por la forma que les resulte más clara.

Saludos

Mónica