FilosofíaBásico1 respuestas

Que es la logica formal y ejemplos?

Que es la logica formal y ejemplos.

Pregunta de Filosofía · 1 respuesta · 4 votos · mejor respuesta de Omarvilla5881

En resumen

Lalógica formales la parte de lalógicaque, a diferencia de lalógica informal, se dedica al estudio de lainferenciamediante la construcción delenguajes formales, sistemas deductivos ysemánticas formales.

Respuestas de la comunidad

Mejor respuesta

Omarvilla5881
10

Lalógica formales la parte de lalógicaque, a diferencia de lalógica informal, se dedica al estudio de lainferenciamediante la construcción delenguajes 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.

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