CÁLCULO DE LÓGICA DE PROPOSICIONES Y CÁLCULO DE LÓGICA DE PREDICADOS

I. INTRODUCCIÓN AL CÁLCULO LÓGICO

Un cálculo es una operación o conjunto de operaciones regladas que toman un input para
alcanzar un output. Sea pues “input” toda información dada (o punto de partida de un
cálculo) y “output” el resultado adquirido a partir de realizar una operación o grupo de
operaciones sobre la información de entrada. Al mismo tiempo, dada la naturaleza abstracta
de la lógica, cabe considerar cálculos con inputs vacios, como es el caso de los principios
lógicos, que pueden derivarse sin necesidad de valor de entrada alguno.

Tras dejar claro lo que es un cálculo, cabe considerar la existencia de multitud de ellos en
lógica de proposiciones y lógica de predicados: Tablas de verdad, método abreviado,
deducción natural, tablas semánticas, formas normales, cálculo de secuentes, teoría de
modelos, etc. Sin embargo, por razones de extensión, utilizaré una abstracción para poder
hablar de todos los tipos de cálculos lógicos al mismo tiempo. Así pues, podemos enumerar
tres tipos de cálculos en general:

1. Cálculo inferencial​: Es la forma más básica de cálculo. En todo cálculo lógico

vamos a disponer de fórmulas a partir de las cuales se derivan otras o los valores de
verdad de las mismas. Por ejemplo, un cálculo inferencial sería un Modus Ponens,
un Modus Tollens, etc. Toda fórmula output derivada de otras input a través de
alguna regla podemos considerarla como un “cálculo inferencial”. También una
operación sobre fórmulas que nos permita derivar sus valores de verdad es un
cálculo inferencial.
2. Cálculo decisorio​: Generalmente no realizamos cálculos inferenciales por ellos
mismos, sino para descubrir una propiedad formal en una fórmula o un conjunto de
fórmulas o un argumento, es decir, calculamos inferencialmente para saber si una
fórmula es tautológica, contingente o contradictoria, o para determinar si un conjunto
de fórmulas es satisfable o independiente, o para saber si un argumento es válido o
inválido. Así pues, en general todos los cálculos inferenciales generalmente van
destinados a descubrir alguna propiedad formal ( tautologicidad, contingencia,
contradicción, satisfacibilidad, validez, etc.), es decir, están al servicio de algún
cálculo decisorio. Los cálculos de deducción natural o tablas de verdad, por ejemplo,
son cálculos decisorios.
3. Cálculos metalógicos: Existe cálculos generalmente llevados a cabo por grandes
expertos matemáticos que van dirigidos a descubrir las propiedades ya no sólo de
las fórmulas, conjunto de fórmulas o argumentos, sino del propio lenguaje lógico
mismo. Estos cálculos van dirigidos a descubrir si un lenguaje lógico es consistente,
decidible, completo, etc. Varios grandes filósofos y matemáticos de la talla de
Bertrand Russell, Kurt Gödel, Gerard Genzten, Leopold Löwenheim o Thoralf Skolem
han realizado este tipo de cálculos.

También podemos también clasificar los tipos de cálculos en virtud de su ​predominancia

sintáctica o semántica​, es decir, si sus operaciones se realizan simplemente sobre símbolos
y reglas de transformación, o si necesitan asignar a estos símbolos valores de verdad, es
decir, una cierta interpretación; Así pues, el cálculo axiomático y el cálculo de deducción
natural serían cálculos sintácticos, mientras que la teoría de modelos sería un caso de
cálculo semántico. Por razones de contexto, he considerado oportuno tratar la deducción
natural y las tablas de verdad como ejemplos paradigmáticos de cálculos sintáctico y cálculo
semántico respectivamente, ya que son los métodos que enseñamos a nuestros estudiantes
en secundaria. Al mismo tiempo, para tratar tanto la lógica de proposiciones como la de
predicados expondré, en primer lugar, el cálculo semántico de tablas de verdad en lógica de
proposiciones y, en segundo lugar, el cálculo sintáctico en lógica de predicados. Sea así
pues, como expondrmos ambos tipos de cálculos pormenorizadamente.

2. TABLAS DE VERDAD

El método de las tablas de verdad fue creado por Charles Sanders Peirce en el año 1880,
pero su versión más popular la introdujo Ludwig Wittgenstein en su Tractatus
lógico-philosophicus en 1921.

Las tablas de verdad es un cálculo decisorio que determina todos los valores de verdad de
una fórmula a partir de establecer todas sus posibles combinaciones de verdad a partir de
combinatoria. Dado que los valores de verdad de lógica de proposiciones se basan en
relaciones funcionales que parten de la interpretación de las fórmulas atómicas podemos
calcular todas las posibles interpretaciones de una fórmula si partimos de todas las posibles
combinaciones de verdad de las fórmulas atómicas. Generalmente este cálculo se utiliza
para determinar si una fórmula es tautológica, contingente o contradictoria, pero se puede
usar para saber si una fórmulas o conjunto de fórmulas es satisfacible o independiente, si
un argumento es válido, etc.

Bien, como todo cálculo, parte de unas reglas, en este caso semánticas:

Que expresadas en forma de tabla quedarían así expresadas:

Así pues, podemos llevar a cabo cálculos con estas reglas. Veamoslo,

Input​:

Una fórmula de la cual derivamos el número de columnas y filas iniciales.

Calculo inicial:

● Columnas iniciales​: Número de variables tipo.

● Filas iniciales​: 2 elevado al número de variables tipo.

Valores iniciales se asignar la primera fila la mitad 1 y la mitad 0. En la siguiente de la mitad

1 de la primera fila, la mitad 1 y la mitad 0. Y en la mitad de 0, la mitad 1 y la mitad 0. Así
sucesivamente hasta cubrir todas las filas iniciales.

Operaciones​:

Cada nueva fila es una operación en la que estamos construyendo la fórmula inicial que
pretendemos analizar. Se suele construir la fórmula desde sus partes más pequeñas hasta
las grandes. El objetivo es llegar a tener todos los valores de la fórmula completa.

Output​:

El cálculo decisorio establecido. Lo más habitual es descubrir si una fórmula es tautologica,

contigente o contradictoria.

● Si los valores de verdad de la fórmula final es todo 1, es tautológica.

● Si los valores de verdad de la fórmula final es todo 0, es contradictoria.
● Si hay 1 y 0 en la tabla de la fórmula final, es contingente,

Ejemplo del cálculo decisorio de tablas de verdad:

II. CÁLCULO DE DEDUCCIÓN NATURAL:

La deducción natural fue introducida por Gerhard Gentzen en su trabajo Investigaciones

sobre la inferencia lógica (Untersuchungen über das logische Schliessen), publicado en
1934-1935. Es un método que pretende parecerse a la manera en la que las personas
deducen de manera natural: sin axiomas, poniendo especial énfasis a las reglas de
inferencia. Este método, como todo cálculo, consta de las siguientes partes:

input​:

Un conjunto de fórmulas que se denominan premisas y una conclusión que se pretende

demostrar.

Operaciones​:

Las operaciones se hacen mediante reglas. La nomenclatura y el número de reglas varía

conforme al instituto o universidad en la que se realiza este cálculo. Sin embargo, parece
aceptarse que existen un grupo de reglas básicas, de las que derivan cualquier otra forma
de regla:
:

En base a estas reglas se puede probar otras a través de cálculos, vamos algunas de ellas:
output​:

Cuando a partir de unos cuantos cálculos inferenciales llevados a cabo mediante estas
reglas se llega a la conclusión podemos decidir que dicho argumento es válido. Veamos un
ejemplo de este cálculo decisorio:
IV. CONCLUSIONES:

Los cálculos sin lugar a dudas son el corazón de nuestra cultura occidental. Conocer la
naturaleza de los cálculos es conocer la base de la matemática, que está en la raíz de todo
avance científico o técnico, así como la base de toda reflexión formal acerca de la razón
occidental. Estudiar lógica, en este sentido, es fundamental para todo filósofo que pretenda
reflexionar acerca de la razón, la ciencia, la tecnología o cualquier otro disciplina o ámbito
que exija cálculos estrictos.