Question

logica formal que es y ejemplo. - .-

Answer 1

esto quiere decir que La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguaje formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.

Answer 2

 Puede definirse la lógica como el conjunto de conocimientos que tienen por objeto la enunciación de las leyes que rigen los procesos del pensamiento humano; así como de los métodos que han de aplicarse al razonamiento y la reflexión para lograr un sistema de raciocinio que conduzca a resultados que puedan considerarse como certeros o verdaderos. 

La lógica formal y la lógica material: En realidad la lógica formal y la material tratan sobre problemas bastante diferentes aunque relacionados. 

La lógica formal, también llamada lógica pura, está interesada en la forma o estructura de los razonamientos. La verdad de las premisas y de las conclusiones es una preocupación secundaria para esta rama de la lógica. La lógica formal trata de encontrar el método correcto para derivar una verdad a partir de otra. Digamos que la verdad de los enunciados que componen los argumentos es algo que se da por supuesto, algo de lo que se parte. Lo que le interesa a la lógica formal es asegurar que el paso de las premisas a la conclusión esté bien fundamentado.