Respuestas
Se dice que la 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.
La lógica simbólica corresponde a la lógica matemática o lógica teorética que -con el objetivo de analizar una determinada inferencia- hace uso de herramientas como la lógica modal y lógica proposicional para la elaboración de sistemas formales.
La inferencia -relacionada íntimamente con la lógica- supone un proceso en el que se extraen explicaciones o conclusiones a partir de planteamientos llamados premisas. Los fundamentos de la lógica se basan en el estudio de estas inferencias.
Este tipo de lógica no asume un hecho, sino que verifica los datos de que dispone -alejándose del razonamiento natural o creativo- para situarse en el contexto de razonamientos y demostraciones que puedan ser analizados en un ámbito completamente formal.
Más información referente a la lógica en:
https://brainly.lat/tarea/4134015
Decimos que la lógica simbólica es formal porque usa sistemas deductivos y lenguajes y semánticas formales.
Por otro lado, la lógica simbólica crea un lenguaje artificial, que a su vez hace uso de símbolos convencionales, presentando estructuras que hacen frente a los complejos argumentos lógicos.
Esta lógica simbólica se divide en se divide en lógica formal, lógica aplicada y lógica informal.
Leer más en: https://brainly.lat/tarea/24018317
