explica porque decimos que la logica simbolica es formal , ayuda porfa
Respuestas a la pregunta
Contestado por
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.
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.
Contestado por
32
Por que no tiene contenido, si no que simplemente estudia las formas válidas de inferencia.
Otras preguntas