Práctico 6

En el caso que no hay ninguna ocurrencia libre de la variable considerada, la sustitución no cambia nada y por lo tanto no aparecen nuevas ligaduras.

Entonces, para este caso: $x_2$ está libre para $x_1$ en la fórmula $(\forall x_1) x_1 =' x_1$