Usuario:Fercho/ejercicio 24

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