Ejercicio 5.C

Re: Ejercicio 5.C

de Juan Diego Campo -
Número de respuestas: 1
Hola Bruno, la propiedad "técnicamente" está correcta, en el sentido que si lográs probarla, estaría probando lo que pide el ejercicio.

Sin embargo, se te va a complicar.

Lo que te puedo sugerir es que reescribas la propiedad para que sea más fácil de probar.
Pensá esto:

Si tenés:
p_i \in sub(\beta)
no tenés mucha información sobre \beta.

Sin embargo, si tenés:
\beta \in sub(p_i)
tenés más información sobre \beta: sabés que sólo puede ser igual a p_i.

Entonces, la idea es evitar hacer la inducción en \alpha que es la fórmula "más chica" de la transitiva, y hacer inducción en la más grande, reordenando los para todo.

Saludos