explica porque decimos que la logica simbolica es formal , muchas gracias
Respuestas a la pregunta
Contestado por
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.
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.
Otras preguntas
Ciencias Sociales,
hace 7 meses
Educ. Fisica,
hace 7 meses
Ciencias Sociales,
hace 1 año
Castellano,
hace 1 año
Castellano,
hace 1 año