Sintaxis de la lógica de primer orden

Hola,

cuando el término está libre para la variable la sustitución se pude hacer. Luego el resultado depende de la definición de la sustitución, en caso de las variables ligadas el resultado de realizar la sustitución es la misma fórmula.

Saludos!