Ejercicio 5.C

Ejercicio 5.C

de Bruno Capote Hernández -
Número de respuestas: 2

 Mi primera pregunta es si esta es la forma correcta de definir la propiedad:
.


Suponiendo que está definida correctamente, ¿cuál sería una forma correcta de encarar las demostraciones?

Por ejemplo, en el paso base P( pi ):
Intuitivamente y por lo demostrado en el ejercicio 4, necesito formar  \beta para formar  \delta .  (1)
\alpha está incluido en  sub( \beta ) y  (1) entonces está incluida en  sub( \delta ) .

Pero no sabría como redactarlo bien.
En respuesta a Bruno Capote Hernández

Re: Ejercicio 5.C

de Juan Diego Campo -
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