FilosofíaBásico1 respuestas

Que es la logica formal y ejemplos?

Que es la logica formal y ejemplos.

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.

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.