Si te fijás por ejemplo en la solución del ej 7f del práctico 4, arriba a la derecha se introduce el implica para probar
pero la 
nunca se usa, porque ya tenemos 
como hipótesis, por la introducción del implica 2.Saludos,
Juan Diego
Hola Bruno, está correcta la derivación aunque no uses las hipótesis. Pasa en algunos casos, aunque no es lo más común.
Si te fijás por ejemplo en la solución del ej 7f del práctico 4, arriba a la derecha se introduce el implica para probar pero la nunca se usa, porque ya tenemos como hipótesis, por la introducción del implica 2.
Saludos,
Juan Diego
Si te fijás por ejemplo en la solución del ej 7f del práctico 4, arriba a la derecha se introduce el implica para probar
pero la nunca se usa, porque ya tenemos como hipótesis, por la introducción del implica 2.Saludos,
Juan Diego