explica porque decimos que la logica simbolica es formal , ayuda porfa

Respuestas

Respuesta dada por: jhidalgo
59
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. 
Respuesta dada por: alcitor1894pbkt3f
32

Por que no tiene contenido, si no que simplemente estudia las formas válidas de inferencia.

Preguntas similares