Hola! Supongamos que que tengo que B se deriva de A. Al hacer el árbol de derivaciones, es necesario SIEMPRE utilizar y cancelar las todas hipótesis locales que surgen de las reglas que aplico? Es decir, si me surge una hip. local mediante una regla pero luego no utilizo esa hip. en la rama, está mal la derivación?