Filosofía, pregunta formulada por Mugrosofeo, hace 1 año

que es calculo y simbolizacion

Respuestas a la pregunta

Contestado por azu779
5

Respuesta:

a lógica matemática, como ciencia formal, se ocupa de analizar y sistematizar las reglas que permiten la transformación de unos enunciados -premisas- en otros -conclusiones- con objeto de convertir las operaciones deductivas en un cálculoriguroso y eficaz.

Al aplicar las reglas de este cálculo lógico a los enunciados que forman un argumento, previa la simbolización adecuada de los enunciados en fórmulas o Expresiones bien formadas (EBF)[1] construimos un modelodentro de un sistema deductivo que, referido al lenguaje ordinario, llamamos de Cálculo de deducción natural.

Otras preguntas