Hola, todo bien? en el video de presentación del práctico se habla de demostrar un lema para seguir con la demostración... no entendí que lema sería, cuál sería?
Desde ya gracias
Hola José:
A partir del minuto 46 del video, está la explicación del lema del cuál se habla.
Sería algo así:
Lema:
H)
- s es una secuencia de formación
- s' es un prefijo de s
T) s' es una secuencia de formación
Si quedan dudas, volvé a preguntar.
P(
): Sea 
secuencia de formacion para 
-> 
secuencia de formacion de 
Esta es la propiedad, pero no la estoy pudiendo probar y me tranca mucho, me darias al menos la demostracion para un caso base y un caso inductivo a modo de ejemplo? desde ya gracias
): Sea secuencia de formacion para -> secuencia de formacion de Esta es la propiedad, pero no la estoy pudiendo probar y me tranca mucho, me darias al menos la demostracion para un caso base y un caso inductivo a modo de ejemplo? desde ya gracias
En mi ejemplo
Caso Base 1:
P(
): Sea 
secuencia de formacion para ->
): Sea secuencia de formacion para -> secuencia de formacion para Si es atomico entonces se cumple la propiedad ya que si tengo una secuencia de formacion que termina en un atomico entonces es secuencia para esa proposicion atomica.
es atomico entonces se cumple la propiedad ya que si tengo una secuencia de formacion que termina en un atomico entonces es secuencia para esa proposicion atomica.El problema es cuando no es atomico y es, por ejemplo: 
como demuestro ahi que
secuencia de formacion para 
no es atomico y es, por ejemplo: como demuestro ahi que secuencia de formacion para si no se nada de los psis
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.