Hola Gustavo,
Perdón la demora en responder, eso que me decís lo entendí ok, lo que no entiendo es como es el razonamiento para deducir que lo que quiero probar es que es de tipo Alpha -> Beta -> Alpha.
O sea la prueba la entiendo, lo que no entiendo es como saber cual es el tipo que tengo que probar. Si bien en este caso es medio trivial no se como razonarlo para otro ejercicio.
Me podrás explicar como es el razonamiento?
Perdón la demora en responder, eso que me decís lo entendí ok, lo que no entiendo es como es el razonamiento para deducir que lo que quiero probar es que es de tipo Alpha -> Beta -> Alpha.
O sea la prueba la entiendo, lo que no entiendo es como saber cual es el tipo que tengo que probar. Si bien en este caso es medio trivial no se como razonarlo para otro ejercicio.
Me podrás explicar como es el razonamiento?