Una vez tenemos las dos incluciones conluimos en que Gamma = Delta
Hola, buenas noches. Quería consultar si la demostración que hice en el ejercicio 9 es correcta, vi la del video de práctico, pero esta también me convence.
Una vez tenemos las dos incluciones conluimos en que Gamma = Delta
Una vez tenemos las dos incluciones conluimos en que Gamma = Delta
En respuesta a Gonzalo Maulella Mederos
Re: Ejercicio 9 - Demostración
Hola:
No estás escribiendo bien los pasos inductivos del PIP de Γ.
Por ejemplo, el primer paso inductivo es:
- H) P(α)
- T) P(aα)
El segundo paso inductivo es lo mismo cambiando a por b.
Vos usás otras condiciones que no son equivalentes a estos pasos.
En respuesta a Guillermo Calderon - InCo
Re: Ejercicio 9 - Demostración
Hola,
tenía entendido que como reducimos las reglas de los lenguajes Gamma y Delta de 2 reglas a 3 reglas, lo mismo pasaba con los pasos inductivos para construir los strings del mismo, por eso en vez de usar 'a' y 'b' utilicé alfa como se explica en el video de práctico. ¿Es a eso a lo que te referís o entendí mal? Gracias.
tenía entendido que como reducimos las reglas de los lenguajes Gamma y Delta de 2 reglas a 3 reglas, lo mismo pasaba con los pasos inductivos para construir los strings del mismo, por eso en vez de usar 'a' y 'b' utilicé alfa como se explica en el video de práctico. ¿Es a eso a lo que te referís o entendí mal? Gracias.
En respuesta a Gonzalo Maulella Mederos
Re: Ejercicio 9 - Demostración
Se pueden escribir los dos pasos inductivos en uno solo:
Paso inductivo del PIP de Γ (*)
- H) P(α)
- T) P(xα)
o haciendo explícitos las cuantificaciones:
- (∀α ∈ Γ)(∀x ∈ Σ) (P(α) ⇒ P(xα))
Pero vos escribís algo así:
- (∀α ∈ Γ) (∃x ∈ Σ) (P(α) ⇒ P(xα))
Cambiás ∀ por ∃.
Y más abajo usás este paso inductivo para Γ:
- H) P(w)
- T) P(αw)
que es incorrecto. Deberías usar el paso dado arriba (*)
En respuesta a Guillermo Calderon - InCo
Re: Ejercicio 9 - Demostración
No me habia dado cuenta de que puse que ∃ en vez de ∀, y en lo otro me agarré una re confusión de signos y di vuelta el paso inductivo. Ya pude verlo mas tranquilo y lo entendí bien, muchas gracias!