Buenas,
1. En la justificación 5, ¿No es en la conclusión y en las premisas sin cancelar? Q(x,y) está cancelado e igual aparece.
En respuesta a Nestor Valentin Etcheverry Olivieri
Re: Examen 07/2016 - Ejercicio 3.d
Esta cancelado con una hipótesis que ganaste antes de realizar la eliminación de existe, por lo tanto no cuenta como una premisa sin cancelar.