Filosofía, pregunta formulada por AnaMaria1818, hace 1 año

En qué consiste la lógica formal

ejemplos

Respuestas a la pregunta

Contestado por natasha0613
13
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 lenguajes formales.
Contestado por mcbeal
10

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 lenguajes 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.

La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.

NO SE COMO DECIR UN EJEMPLO PORQUE SE ME HACE DIFICIL... PERO ESPERO QUE TE SITVA DE ALGO ESTO

Otras preguntas