Segundo parcial 2016 - Ej 3. Parte a)

Segundo parcial 2016 - Ej 3. Parte a)

de Rodrigo Alain De La Vega Rodriguez -
Número de respuestas: 2

Buenas noches.

En ese ejercicio pide derivar (Exi x)(Exi y)( -P3(x,y)) y nos da unas hipotesis.

Mi pregunta es: puedo usar el equivalente:

-(All x)(All y)P3(x,y) derivarlo con las hipotesis y luego concluir que la primer sentencia que di se deriva?


Desde ya gracias!

En respuesta a Rodrigo Alain De La Vega Rodriguez

Re: Segundo parcial 2016 - Ej 3. Parte a)

de Juan Diego Campo -
No, no se pueden usar equivalentes, ni ningún otro resultado semántico
para armar las derivaciones.

Si te fijás, en todos los ejercicios de derivaciones se aclara que no se
pueden utilizar consideraciones semánticas para resolver estos
ejercicios.


Saludos,

--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR