CONSTRUCCIÓN DE

TABLAS DE VERDAD
 Al construir la tabla de verdad de una fórmula, la misma debe mostrar
todas las combinaciones de valores de verdad que tienen lugar entre los
componentes de esa fórmula. Para lograrlo seguiremos los pasos que se
detallan a continuación.
 PRIMERO REPASEMOS…
Variable Conectiva
proposicional

Filas

Columnas
 FILAS
Para calcular el número de filas que debe tener la tabla utilizaremos la
siguiente fórmula;

n
2
La base corresponde al número de valores de verdad con el que se
trabaja en lógica proposicional, es decir, dos (verdadero y falso). De manera
que la base será siempre la misma; 2.
El exponente “n” corresponde al número de variables o letras
proposicionales diferentes que tiene la fórmula cuya tabla queremos construir.
De manera que debemos reemplazar “n” por ese número.
Veamos esto con algunos ejemplos.
a) p v ~(q ∙ ~p)
Cantidad de variables proposicionales diferentes que tiene esta fórmula: 2 (p,
q)
Cálculo de filas; 2n = 22 = 4
La tabla de verdad de esta fórmula contará con cuatro filas.

b) [(p v ~q) ∙ r] ⊃ q
Cantidad de variables proposicionales diferentes que tiene esta fórmula: 3 (p,
q, r)
Cálculo de filas; 2n = 23 = 8
La tabla de verdad de esta fórmula contará con ocho filas.
 COLUMNAS
Una vez determinado el número de filas, distribuiremos el espacio para que
cada variable proposicional y cada conectiva tengan su columna, mientras que los
signos de puntuación no llevan columnas.
Paso 1: La construcción de las columnas comienza asignando valores de verdad
a las variables (letras) proposicionales para formar todas las combinaciones (la
construcción de las columnas de las conectivas es un paso posterior y dependerá
de la realización de este primer paso).
Haremos lo siguiente para garantizar que todas las combinaciones estén
presentes; a la primera letra proposicional que aparezca en la fórmula le
asignaremos los valores V-F alternándolos de uno en uno, comenzando por V y
hasta completar todas las filas. A la siguiente letra proposicional diferente que
aparezca le asignaremos pares de V y F, comenzando por V y hasta completar las
filas. A la tercera varaible proposicional diferente le asignaremos cuádruplas de V y
F, también comenzando por V y hasta completar las filas. De la misma manera
iremos duplicando el número de V y F que colocaremos en las filas para cada
nueva variable proposicional que aparezca. Cada letra que se repita en la fórmula
conservará la columna que le hayamos asignado previamente.
 POR EJEMPLO:

p v ~ (q ∙ ~ p)
V
F
V
F
 POR EJEMPLO:

p v ~ (q ∙ ~ p)
V V
F V
V F
F F
 POR EJEMPLO:

p v ~ (q ∙ ~ p)
V V V
F V F
V F V
F F F
 Paso 2: resolveremos cada conectiva asignando los valores de verdad
correspondientes en función de los valores de verdad de las proposiciones
que afectan.
Iremos resolviendo siempre desde la conectiva de menor alcance hacia
la de mayor alcance. A la negación de una proposición simple, seguirán en
alcance las conectivas que estén primero entre paréntesis, luego entre
corchetes, después entre llaves y finalmente aquella que se encuentre por
fuera de las llaves.
El resultado final de la tabla se ubicará bajo la conectiva de mayor
alcance.
 POR EJEMPLO:

p v ~ (q ∙ ~ p)
V V F V
F V V F
V F F V
F F V F
 POR EJEMPLO:

p v ~ (q ∙ ~ p)
V V F F V
F V V V F
V F F F V
F F F V F
 POR EJEMPLO:

p v ~ (q ∙ ~ p)
V V V F F V
F F V V V F
V V F F F V
F V F F V F
 POR EJEMPLO:

p v ~ (q ∙ ~ p)
V V V V F F V
F F F V V V F
V V V F F F V
F V V F F V F
 VAMOS CON OTRO EJEMPLO:
[(p v ~ q) ∙ r] ⊃ q
V
F
V
F
V
F
V
F
 SEGUNDO EJEMPLO:
[(p v ~ q) ∙ r] ⊃ q
V V
F V
V F
F F
V V
F V
V F
F F
 SEGUNDO EJEMPLO:
[(p v ~ q) ∙ r] ⊃ q
V V V
F V V
V F V
F F V
V V F
F V F
V F F
F F F
 SEGUNDO EJEMPLO:
[(p v ~ q) ∙ r] ⊃ q
V V V V
F V V V
V F V F
F F V F
V V F V
F V F V
V F F F
F F F F
 SEGUNDO EJEMPLO:
[(p v ~ q) ∙ r] ⊃ q
V F V V V
F F V V V
V V F V F
F V F V F
V F V F V
F F V F V
V V F F F
F V F F F
 SEGUNDO EJEMPLO:
[(p v ~ q) ∙ r] ⊃ q
V V F V V V
F F F V V V
V V V F V F
F V V F V F
V V F V F V
F F F V F V
V V V F F F
F V V F F F
 SEGUNDO EJEMPLO:
[(p v ~ q) ∙ r] ⊃ q
V V F V V V V
F F F V F V V
V V V F V V F
F V V F V V F
V V F V F F V
F F F V F F V
V V V F F F F
F V V F F F F
 SEGUNDO EJEMPLO:
[(p v ~ q) ∙ r] ⊃ q
V V F V V V V V
F F F V F V V V
V V V F V V F F
F V V F V V F F
V V F V F F V V
F F F V F F V V
V V V F F F V F
F V V F F F V F