hace referencia al resultado correspondiente a la acción de calcular. Calcular, por su parte, consiste
en realizar las operaciones necesarias para prever el resultado de una acción previamente
concebida, o conocer las consecuencias que se pueden derivar de unos datos previamente
conocidos.
No obstante, el uso más común del término "cálculo" es el lógico-matemático. Desde esta
perspectiva, el cálculo consiste en un procedimiento mecánico, o algoritmo, mediante el cual
podemos conocer las consecuencias que se derivan de unos datos previamente conocidos
debidamente formalizados y simbolizados.
Cálculo lógico
El cálculo lógico es un sistema de reglas de inferencia o deducción de un enunciado a partir
de otro u otros. El cálculo lógico requiere un conjunto consistente de axiomas y unas reglas
de inferencia; su propósito es poder deducir algorítmicamente proposiciones lógicas
verdaderas a partir de dichos axiomas. La inferencia es una operación lógica que consiste en
obtener una proposición lógica como conclusión a partir de otra(s) (premisas) mediante la
aplicación de reglas de inferencia.