Ejercicio 2

Ejercicio 2

de Diego Ismael Marichal Chavez -
Número de respuestas: 3

Hola, resolviendo el ejercicio queria verificar si la argumentacion es correcta

En la primera derivacion: Es incorrecta ya que en la eliminacion del existe, x no ocurre libre para P(x,y)

Y en la segunda derivación: Es incorrecta ya que en la eliminación del existe, x no ocure libre en \forall yP(x,y)


Saludos 

Diego
En respuesta a Diego Ismael Marichal Chavez

Re: Ejercicio 2

de Guillermo Calderon - InCo -
Sí, son correctas tus respuestas.
En respuesta a Guillermo Calderon - InCo

Re: Ejercicio 2

de Joaquín Sande González -
¿Es correcto afirmar que la segunda derivación también es incorrecta porque en la introducción del implica, la variable y ocurre libre en P(x,y) (es decir, en las hipótesis de la introducción del implica)?