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.
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.
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₂(φ).