Buenas! Una pregunta, en la regla de eliminación del existe, si beta = alpha, entonces puedo cancelar alpha sin necesidad de aplicar reglas? Adjunto foto de un ejemplo para ilustrar.
En respuesta a Micaela Cabillon Calo
Re: Regla eliminación del existe
Hola Micaela:
Esa derivación que escribís no es correcta en general.
Sucede que 
es a la vez hipótesis y conclusión del subárbol
de la izquierda.
Si 
ocurre libre en , esa derivación no respetaría
la condición de que: no puede ocurrir libre en la conclusión.