![](https://eva.fing.edu.uy/pluginfile.php/469429/mod_forum/post/626492/image%20%282%29.png)
Una vez tenemos las dos incluciones conluimos en que Gamma = Delta
Hola:
No estás escribiendo bien los pasos inductivos del PIP de Γ.
Por ejemplo, el primer paso inductivo es:
El segundo paso inductivo es lo mismo cambiando a por b.
Vos usás otras condiciones que no son equivalentes a estos pasos.
Se pueden escribir los dos pasos inductivos en uno solo:
Paso inductivo del PIP de Γ (*)
o haciendo explícitos las cuantificaciones:
Pero vos escribís algo así:
Cambiás ∀ por ∃.
Y más abajo usás este paso inductivo para Γ:
que es incorrecto. Deberías usar el paso dado arriba (*)