CÁLCULO
El cálculo es definido en la lógica como un sistema de signos no interpretados, a diferencia del lenguaje (lógico), el cual es definido como un sistema de signos interpretados. El estudio del cálculo pertenece a la rama de la metalógica llamada sintaxis. Los elementos con los cuales se edifica un cálculo son los siguientes:
1) Los signos del cálculo, los cuales pueden ser primitivos (véase Signos primitivos) o definidos.
2) Las expresiones o formulas del cálculo.
Entre tales expresiones figuran:
3) Las expresiones bien formadas o formulas bien formadas del cálculo obtenidas por medio de reglas de formación.
Entre las expresiones bien formadas del cálculo figuran:
4) Los teoremas del cálculo. Un teorema de un cálculo es definido como la última fórmula bien formada de una prueba en un determinado cálculo. Para definir en general la noción de teorema de un cálculo es necesario introducir las nociones de axioma, regla de
