que es la logica formal y ejemplos
Respuestas a la pregunta
Contestado por
2
La lógica formal es la parte de la lógicaque, a diferencia de la lógica informal, se dedica al estudio de la inferenciamediante 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.
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.
Otras preguntas
Administración,
hace 8 meses
Matemáticas,
hace 8 meses
Salud,
hace 1 año
Física,
hace 1 año
Matemáticas,
hace 1 año