que es calculo y simbolizacion
Respuestas a la pregunta
Contestado por
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
Biología,
hace 6 meses
Ciencias Sociales,
hace 6 meses
Matemáticas,
hace 1 año
Salud,
hace 1 año
Castellano,
hace 1 año
Castellano,
hace 1 año
Castellano,
hace 1 año