• Asignatura: Matemáticas
  • Autor: hanniakiss1990
  • hace 8 años

explica porque decimos que la logica simbolica es formal , muchas gracias

Respuestas

Respuesta dada por: Anónimo
7
Básicamente podemos dividir la lógica en lógica formal y lógica informal. 

La lógica formal realiza sus estudios en la inferencia, esto mediante a la construcción de lenguajes formales, sistemas deductivos y semánticas formales. Dentro de ésta entran la lógica de predicados, lógica de enunciados, lógica de relaciones, y lógica de clases. 

La lógica informal estudia argumentos naturales, diferencia entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano.

La lógica matemática antes se conocía como lógica simbólica, es una subdisciplina de la lógica formal, por ello es que decimos que la lógica simbólica es formal.
Preguntas similares