Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ir a la navegaciónIr a la búsqueda
Para otros usos de este término, véase Cálculo (desambiguación).
Para cálculo infinitesimal (diferencial o integral), véase Cálculo infinitesimal.
Para el estudio de los números reales, los complejos, los vectores y sus
funciones, véase Análisis matemático.
En general el término cálculo (del latín calculus, piedrecita, usado para contar o
como ayuda al calcular)1 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 las variables previamente conocidas debidamente formalizadas y simbolizadas.
Índice
Reconstrucción de un ábaco romano.
Un ábaco moderno.
George Boole.
Cálculo lógico[editar]
Artículo principal: 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.19
Informalmente interpretamos 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. Sin embargo, en el enfoque moderno del cálculo lógico no es
necesario acudir al concepto de verdad, para construir el cálculo lógico.
Los hombres en nuestra tarea diaria, utilizamos constantemente el
razonamiento deductivo. Partimos de enunciados empíricos —
supuestamente verdaderos y válidos— para concluir en otro enunciado que se
deriva de aquellos, según las leyes de la lógica natural. 20
La lógica, como ciencia 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 un cálculo lógico a los enunciados de
un argumento mediante la simbolización adecuada como fórmulas o
expresiones bien formadas (EBF) del cálculo, construimos un modelo o
sistema deductivo. En ese contexto, las reglas de formación de fórmulas
definen la sintaxis de un lenguaje formal de símbolos no interpretados, es
decir, sin significado alguno; y las reglas de transformación del sistema
permiten transformar dichas expresiones en otras equivalentes; entendiendo
por equivalentes que ambas tienen siempre y de forma necesaria el mismo
valor de verdad. Dichas transformaciones son meramente tautologías.
Un lenguaje formal que sirve de base para el cálculo lógico está formado por
varias clases de entidades:
3 C → B Donde C = A ∨ r
O viceversa
1 C → B Transformación
2 A ∨ r → B Donde A ∨ r = C