[Ejercicio 8d]

[Ejercicio 8d]

de Leonela Ruth Pereira Perez -
Número de respuestas: 1

Necesito ayuda con esta derivación. Sugerencias?

Adjunto 8d.png
En respuesta a Leonela Ruth Pereira Perez

Re: [Ejercicio 8d]

de Camila Sanz -

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.