Usuario:Fercho/ejercicio 23

De Wikilibros, la colección de libros de texto de contenido libre.

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