Question

que es calculo y simbolizacion

Answer 1

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.