Deducción natural de la lógica de primer orden

Hola,

la letra de este ejercicio estaba mal en el práctico que se subió originalmente y fue modificada.

La letra correcta dice: $\vdash (\forall x)(\forall y)x =' y \rightarrow \neg (\exists x)(\exists y)(P(x) \land \neg P(y))$.

Saludos,

Camila.