[Ejercicio 9]

[Ejercicio 9]

de Leonela Ruth Pereira Perez -
Número de respuestas: 3

Estoy trancada con este ejercicio. Se que hay que probar la doble inclusión, pero no se como hacerlo. Con los pasos base es fácil, pero tengo problema con los pasos inductivos.

Por ejemplo para probar que Γ esta incluido en Δ , debería probar que algo de la forma aα (y bα) pertenece a Δ no?  Pero como pruebo eso?

En respuesta a Leonela Ruth Pereira Perez

Re: [Ejercicio 9]

de Camila Sanz -
Hola,

acá se da una idea general sobre cómo encarar el ejercicio, fijate si con eso queda claro y cualquier cosa volvé a preguntar.

Saludos!
En respuesta a Camila Sanz

Re: [Ejercicio 9]

de Leonela Ruth Pereira Perez -
Mirando el planteo me surge una duda.
En la parte de la demostración del punto a.b reformulan la propiedad diciendo:

(para todo x (si x pertenece a Delta => aw pertenece a Delta))

Donde dice x no debería decir w ??? Sino no estaría entendiendo la reformulación de la propiedad.