Autora: Daniela Serna Buitrago

Profesora Facultad de Ingeniería

Lógica proposicional

Una vez establecido el lenguaje formal (símbolos) que hará parte de la lógica proposicional, se definirán dos
procesos deductivos por los que se establecerá la relación de premisas y conclusión para determinar su
validez o invalidez.

Estos dos procesos son el enfoque de modelos y el enfoque axiomático. El primero basa su técnica en las
tablas de verdad; el segundo, como su nombre lo dice, se fundamenta en el proceso deductivo a partir de
axiomas y reglas de validez para su demostración.

Enfoque de modelos

En este proceso, a las formas proposicionales simples no se les puede determinar un valor de verdad, por
lo que se les debe asignar los diferentes valores de verdad que pueden tomar (Verdadero (1) o Falso (0)), y
posterior a esto definir el valor de verdad resultante de todas las combinaciones que puede generar una
fórmula bien formada efectuando las operaciones que la componen.

Las tablas de verdad nos indican el valor de verdad resultante de la operación lógica, de acuerdo con el
valor de verdad que contengan cada una de las formas proposicionales simples que la componen. Están
definidas de la siguiente manera:

Universidad de Antioquia · Facultad de Ingeniería · Vicerrectoría de Docencia · Ude@ Educación Virtual 1

Tablas de verdad

Negación Disyunción Conjunción

P ¬P P Q P⋁Q P Q P⋀Q
1 0 1 1 1 1 1 1
0 1 1 0 1 1 0 0
0 1 1 0 1 0
0 0 0 0 0 0

Condicional Bicondicional

P Q P→Q P Q P↔Q
1 1 1 1 1 1
1 0 0 1 0 0
0 1 1 0 1 0
0 0 1 0 0 1

A cada una de las posibles combinaciones de valores de verdad de la fórmula se le denomina interpretación
(cada fila de la tabla), y a cada interpretación que vuelve verdadera la fórmula se le llama modelo.

Para interpretar los resultados de la tabla de verdad generada, se consideran tres estados en los que puede
quedar la demostración: tautología, contingencia y contradicción. Se considera tautología cuando todas las
interpretaciones se vuelven modelo (todas las salidas son verdaderas), es contingencia cuando algunas

Universidad de Antioquia · Facultad de Ingeniería · Vicerrectoría de Docencia · Ude@ Educación Virtual 2

interpretaciones son modelo y otras no (se intercalan en la salida valores verdaderos y falsos), y se considera
contradicción cuando ninguna de sus interpretaciones son modelos (todas las salidas son falsas).

Ahora, la pregunta es: ¿cómo deducir que la fórmula bien formada (fbf) es válida? Para dar respuesta a esta
pregunta es suficiente con determinar si el estado final de la tabla de verdad es tautología, en los otros dos
estados no se podría determinar su validez.

Proceso de demostración:

1. Se determina la cantidad de formas proposicionales simples diferentes que componen la fórmula.

2. Se calcula la cantidad de interpretaciones (combinaciones) para determinar la cantidad de filas que
componen la tabla. La fórmula que lo determina es 2n, donde n = cantidad de formas proposicionales
simples que componen la fórmula (número obtenido en el paso 1).
3. En las primeras columnas de la tabla se ubican las formas proposicionales simples por las que está
compuesta la fórmula, y se le asigna su valor de verdad para cada diferente interpretación.
4. Se crean fbf intermedias para facilitar el cálculo del valor de verdad de la fórmula completa.
5. La última columna será de los valores de verdad finales con los cuales se deducirá si la fórmula es
una tautología, contingencia o contradicción.
En el material fundamental podrás encontrar un video explicativo de un ejemplo práctico de este proceso.

Universidad de Antioquia · Facultad de Ingeniería · Vicerrectoría de Docencia · Ude@ Educación Virtual 3