MatemáticasBásico2 respuestas

Logica formal que es y ejemplo?

Logica formal que es y ejemplo. - . -.

Mejor respuesta

Chicolindo
8

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.

Otras 1 respuestas

Respuesta 2

Sanchez1998
6

Esto quiere decir queLalógica formales la parte de lalógicaque, a diferencia de lalógica informal, se dedica al estudio de lainferenciamediante la construcción delenguaje formales, sistemas deductivos ysemánticas formales.

La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en loslenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizardemostracionesrigurosas sobre ellas.