Entendemos aquí por cálculo lógico, un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como valdilmente verdaderos.La inferencia o deduccion es una operación lógica que consiste en obtener un enunciado como conclucion a partir de otro(s) (premisas) mediante la aplicación dereglas de inferencia.Decimos que alguien infiere -o deduce- "T" de "R" si acepta que si "R" tiene valor de verdad V, entonces, necesariamente, "T" tiene valor de verdad V.Los hombres en nuestra tarea diaria, utilizamos constantemente el razonamiento deductivo. Partimos de enunciados empíricos -supuestamente verdaderos y validos para concluir en otro enunciado que se deriva de aquellos, según las leyes de la lógica natural.La lógica, comociencia formal, se ocupa de analizar y sistematizar dichas leyes, fundamentarlas y convertirlas en las reglas que permiten la transformación de unos enunciados -premisas- en otros -conclusiones- con objeto de convertir las operaciones en un algoritmo riguroso y eficaz, que garantiza que dada la verdad de las premisas, la conclusión es necesariamente verdadera.Al aplicar las reglas de este cálculo lógico a los enunciados que forman un argumento mediante la simbolización adecuada de fórmulas o Expresiones bien formadas (EBF) construimos un modelo o sistema deductivo.
