Los niveles de análisis lógicos y la validez de los razonamientos. Sean los dos siguientes razonamientos: Si el número 904 es divisible por dos entonces ese número es par, pero se da el caso de que es divisible por dos, por consiguiente ese número es par. Ningún león es rumiante, de donde se sigue que los leones de África no son rumiantes. el número 904 el número 904 es divisible por dos divisible por dos león rumiante ese número ese número es par par se da el caso de que es divisible por dos divisible por dos ese número es ese número los leones de África rumiantes par par Elementos recurrentes León Rumiante De África Análisis A Análisis B El número 904 Ser divisible por dos Ser par El número 904 es divisible por dos El número 904 es par Forma lógica tipo f2 Forma lógica tipo f1 Nivel Lógica Proposicional Nivel Lógica Cuantificacional

Resultados de validez para los análisis mostrados. Análisis A Análisis B Forma lógica f1 Forma lógica f2 Si , entonces      Si todo  es , entonces todo  es  Todo  es  Todo  es   es   es    es    es  Resultados idénticos Proposiciones idénticas Las dos formas son admisibles o válidas

Resultado del análisis del segundo razonamiento. Ningún león es rumiante, de donde se sigue que los leones de África no son rumiantes. león rumiante los leones de África rumiantes Ningún  es Ningún  es  Predicados Análisis A de los elementos materiales por el criterio de recurrencia: Forma Lógica Forma lógica no válida Ningún número irracional es racional  Ningún número par es racional

Análisis correcto del argumento en el Nivel de Lógica de Predicados. Ningún león es rumiante, de donde se sigue que los leones de África no son rumiantes. león rumiante los leones de África rumiantes Forma lógica válida Predicados Simbolización de los elementos materiales Ningún  es  Ningún   es   seres que son leones seres que son rumiantes seres que son africanos Forma lógica f2

Análisis más comprensible de la expresión: Leones de África. Nuevo predicado Nuevo elemento lógico Leones de África de Elemento lógico Predicado Predicado

Forma lógica del razonamiento a partir del nuevo análisis Los leones de África no son rumiantes Ningún  es  Ningún  de  es  Forma lógica válida ¿Por qué?