Estuve intentando hacer el ejercicio 4 parte a del primer parcial del 2019, me gustaría saber si alguien podría tirarme una idea de por donde arrancar
En respuesta a Tammara Michelle Trivelli Ferreira
Re: Primer parcial 2019 ejercicio 4
Se me ocurre que podés hacer un Pip sobre PROP y para cada paso de su definición inductiva demostrar lo que piden.
En el paso en que agrega las pi podés usar la hipótesis de que pi != k por lo que no daría problemas.
Es una idea, sé que puede dejar mucha duda pero quizás te sirve para encararlo.
Saludos.
En respuesta a Ciro Leonardo Sayagues Laso Verde
Re: Primer parcial 2019 ejercicio 4
Algo así decía que se podía hacer, en amarillo resalto lo que no tengo idea de cómo expresar, je.
![Adjunto 2f02db2c-854e-48bb-801e-e99f37bc2d44.jpeg](https://eva.fing.edu.uy/pluginfile.php/57264/mod_forum/attachment/326463/2f02db2c-854e-48bb-801e-e99f37bc2d44.jpeg?forcedownload=1)
En respuesta a Ciro Leonardo Sayagues Laso Verde
Re: Primer parcial 2019 ejercicio 4
Ahí intenté avanzarlo un poco más, supongo que habrá un método más corto y mejor pero no lo conozco, je.
Saludos.
![Adjunto WhatsApp Image 2019-07-18 at 13.13.18.jpeg](https://eva.fing.edu.uy/pluginfile.php/57264/mod_forum/attachment/326465/WhatsApp%20Image%202019-07-18%20at%2013.13.18.jpeg?forcedownload=1)
En respuesta a Ciro Leonardo Sayagues Laso Verde
Re: Primer parcial 2019 ejercicio 4
Habia pensado algo de eso pero no sabia si estaba bien,muchas gracias!!!
En respuesta a Tammara Michelle Trivelli Ferreira
Re: Primer parcial 2019 ejercicio 4
Un gusto, creo que está bien aunque seguro tiene erorres. Vamo' arriba.
En respuesta a Ciro Leonardo Sayagues Laso Verde
Re: Primer parcial 2019 ejercicio 4
Es correcto el planteo por inducción en PROP.
Sale más directo aplicando el lema 1.2.3:
Si v₁(pᵢ) = v₂(pᵢ) para toda pᵢ que ocurre en φ, entonces v₁(φ) = v₂(φ).