Pregunta acerca de ligaduras

Pregunta acerca de ligaduras

de Ignacio De León Aquino -
Número de respuestas: 1

Hola buenas una pregunta, si tengo el ejemplo que quiero hacer la sustitución [x2/x1] en la formula (para todo x1) (x1=x1).

Si la pregunta fuera esta x2 libre para x1 en esa formula, tendría que contestar que no verdad? porque si realizo la sustitución no x2 no queda ligada a nada, pero acá también aplica que no puedo realizar sustituciones si la variable ya estaba ligada originalmente.

Muchas gracias.

(Editado por Guillermo Calderon - InCo - envío original viernes, 12 de mayo de 2023, 11:15)

mensaje movido desde el foro "social"
En respuesta a Ignacio De León Aquino

Re: Pregunta acerca de ligaduras

de Guillermo Calderon - InCo -

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