Ir al contenido

Usuario:Fercho/ejercicio 24

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

Dado Archivo:Pensamiento algorítmico expresión 24a).jpg y Archivo:Pensamiento algorítmico expresión 24b).jpg, dar una demostración formal de que Archivo:Pensamiento algorítmico conclusión 24).jpg. Utilizar la particularización universal, la generalización universal y el modus tollendo tollens como reglas de inferencia.


SOLUCION


Aclaración: Al particularizar Archivo:Pensamiento algorítmico sustitución.jpg 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: Archivo:Pensamiento algorítmico expresión 24a).jpg, Archivo:Pensamiento algorítmico expresión 24b).jpgArchivo:Pensamiento algorítmico implicación lógica.jpgArchivo:Pensamiento algorítmico conclusión 24).jpg



Archivo:Pensamiento algorítmico demostración ejercicio 24).jpg