defina Qué es lógica simbólica o formal
Respuestas a la pregunta
Respuesta:
lógica simbólica es formal debido a que estudia la validez de las inferencias de manera exhaustiva y rigurosa para poder demostrarlas mediante un profundo análisis matemático
Explicación:
espero que te ayude
Respuesta:
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,[1] es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la construcción y el desarrollo de las matemáticas y el razonamiento matemático, y conversamente la aplicación de técnicas matemáticas a la representación y el análisis de la lógica formal. La investigación en lógica matemática ha jugado un papel crucial en el estudio de los fundamentos de las matemáticas.