Cálculo lógico

Carta Común · N.º 472679

El cálculo lógico, o derivación lógica, es un algoritmo o sistema lógico que permite inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o deducción es una operación lógica que consiste en obtener un enunciado como -conclusión- a partir de otro -premisa- mediante la aplicación de reglas 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. Las personas 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. La 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álculo riguroso y eficaz…

Leer en Wikipedia