Evaluación de verdad de una fórmula lógica

A partir de la diferenciación del valor de verdad de cada una de las conectivas definidas, se puede establecer un procedimiento para evaluar una fórmula lógica más compleja, donde aparezcan las combinaciones de las conectivas citadas de la siguiente manera:

Paso 1- en la formula lógica se identifica la cantidad de variables proposicionales distintas que intervienen que se simbolizará por n, las conectivas unitarias y las conectivas binarias.

Paso 2- se calculas las combinaciones de valores de verdad de las variables proposicionales mediante la fórmula

Paso 3- se construye una matriz con filas en las que la primera fila se asigna la denominación de una columna para cada variable proposicional, negación de variable proposicional, conectiva binaria, negación de conectiva binaria. En las columnas correspondientes a las variables proposicionales para cada fila se escribe una de las posibles combinaciones de valores de verdad calculadas en el paso 2.

Paso 4- se evalúa cada columna de izquierda a derecha usando las reglas de definición de las conectivas.