Usuario:Fercho/ejercicio 23

Dado imagen retirada y imagen retirada, construir una derivación formal de que . Como reglas de inferencia, utilizar la particularización universal, la generalización universal y el modus ponens.

SOLUCION

Aclaración: Al particularizar imagen retirada el x que se sustituye es un término que cumple con la propiedad, o también se le llama caso ejemplar de x pues bien puede ser a, m, n t, e,… Lo que ustedes quieran.

Demostrar: imagen retirada, imagen retirada'imagen retirada'imagen retirada

imagen retirada