Te sugiero que pruebes que el prefijo cumple la definición
de secuencia de formación.
No es por inducción en PROP. La prueba queda muy sencilla a partir
de la hipótesis de que partimos de una secuencia de formación.
Práctico 2 - Foro
Ejercicio 4
Te sugiero que pruebes que el prefijo cumple la definición
de secuencia de formación.
No es por inducción en PROP. La prueba queda muy sencilla a partir
de la hipótesis de que partimos de una secuencia de formación.