Práctico 8

Hola Micaela:

Esa derivación que escribís no es correcta en general.

Sucede que $\alpha$ es a la vez hipótesis y conclusión del subárbol de la izquierda.

Si $x$ ocurre libre en $\alpha$, esa derivación no respetaría la condición de que: $x$ no puede ocurrir libre en la conclusión.