Tienen las estructuras la funcón sustitiución?
O sea:
Sea M estructura de tipo adecuado, y lenguaje de tipo adecuado. Sea q ∈ L.
¿Tenemos que (q[y/x])M = qM[yM/xM] ?
Lo estoy preguntando por el ejercicio en la diapositiva 9
Tienen las estructuras la funcón sustitiución?
O sea:
Sea M estructura de tipo adecuado, y lenguaje de tipo adecuado. Sea q ∈ L.
¿Tenemos que (q[y/x])M = qM[yM/xM] ?
Lo estoy preguntando por el ejercicio en la diapositiva 9