Buenas. Yo por comodidad siempre escribo las derivaciones desde abajo hacia arriba. Y me surgió una duda sobre las hipótesis locales (por ejemplo cuando uso el I<-> que puedo asumir como hipótesis ambos extremos del <->): ¿Es obligatorio usarlas siempre?.
O por ejemplo si planteo una de esas reglas, pero logro terminar la derivación sin que me quede nada sin cancelar y sin usar esas hipótesis. ¿Está bien?.
Desde ya muchas gracias y saludos.
