Tablas de verdad

Es una herramienta desarrollada por Charles Peirce en los años 1880, siendo más
popular el formato que Ludwig Wittgenstein desarrolló en su Tractatus lógico-
philosophicus publicado en 1921. Se emplean en lógica para determinar los posibles valo-
res de verdad de una expresión o proposición molecular. O si un esquema de inferencia,
como argumento, es formalmente válido mostrando que efectivamente, es una tautología.

Una tabla de verdad es un arreglo rectangular que establece TODAS las posibles
combinaciones de valores de verdad de las variables proposicionales (v.p.) de una forma
proposicional (f.p.) y determina los valores correspondientes a esa forma proposicional para
cada una de esas combinaciones, es decir, cada renglón será una interpretación posible para
esa forma proposicional a partir de las diferentes combinaciones de valores de verdad para
las VP que la compongan.

Una vez que conocemos el valor de verdad que se le asigna a cada variable proposi-
cional y tenemos presentes las definiciones de los conectivos resulta fácil determinar el
valor de verdad que le corresponde a la fórmula completa.
El procedimiento de determinación requiere ir por pasos, estableciéndolos valores
correspondientes a los diferentes niveles (indicados por los signos de agrupación) hasta
alcanzar el nivel de la forma proposicional completa. Así obtenemos una tabla de verdad
para la forma proposicional.

El criterio para determinar cuántas filas posibles tiene una forma proposicional de-
pende del número de variables proposicionales distintas que aparezcan en ella. Dado que
según el Principio de Bivalencia que rige la Lógica Clásica una variable proposicional
sólo puede tener dos valores de verdad (a saber, V o F) para una fórmula que contenga n
variables proposicionales, el número de filas viene dado por la expresión 2n. Así la tabla de
verdad de una fórmula que tenga 2 variables proposicionales tendrá 22 = 4 filas, una que
tenga 3 variables, tendrá 23 = 8, una que tenga 4 variables 24 = 16 y así sucesivamente.

Algunos autores por ejemplo agrupan los conectivos que se utilizan sobre las pro-
posiciones, en el cálculo proposicional en dos agrupaciones
Monódico (monario): envuelve solamente una expresión de la declaración
La negación simbolizada por “~” se lee NO, también se utiliza el símbolo “¬”

Diádico (binario): envuelve dos proposiciones.

El conectivo conjunción es simbolizado por "  " y se lee "y"

José Boada Tablas de verdad Página 1

 El conectivo disyunción inclusiva es simbolizado por "v" y se lee "o"
El conectivo condicional es simbolizado por “→” y se lee "Sí... entonces"
El conectivo bicondicional es simbolizado por "↔ " y se lee "Sí y solo sí"

Cuadro resumen de conectivos

Conectivo Símbolo Se lee

Negación ~ No
Conjunción  Y
Disyunción  O
Condicional → Si,…entonces
Bicondicional ↔ Sí y sólo sí

Negación: Al negar una expresión obtenemos el valor opuesto de la original

p ~p
V F
F V
Conjunción: la conjunción de dos proposiciones cualquiera indica la verdad simultánea de
ambas, la proposición compuesta resultante es verdadera si efectivamente ambas son ver-
daderas, (es como si al abrir una cuenta corriente apareciera una "y" en el lugar de las fir-
mas; ambas personas tendrían que firmar para que el cheque tuviese validez), con cualquier
otra posibilidad la conjunción será falsa.

p q pq
V V V
V F F
F V F
F F F
Disyunción: la disyunción tiene la función de enlazar dos proposiciones, indicando que al
menos una de ellas es verdadera (aunque pueden serlo ambas también); con el ejemplo de
la cuenta corriente si al abrir la cuenta se colocara un "y/o" cualquiera de las firmas haría
válido al cheque, al igual que ambas. Por tanto la disyunción será verdadera si al menos una
de las alternativas es verdadera (y por supuesto cuando las dos lo sean). Será falsa sólo
cuando las dos proposiciones sean falsas.

p q pq
V V V
V F V
F V V
F F F

José Boada Tablas de verdad Página 2

Condicional: Al relacionarse dos proposiciones con este conectivo es muy importante dis-
tinguir la variable proposicional que queda a la izquierda (a la que se le llama antecedente o
condición), de la que queda a la derecha (que se llama consecuente o consecuencia). El
sentido de este conectivo es señalar, que si la proposición antecedente es verdadera, tam-
bién lo es la proposición consecuente, de aquí que una proposición compuesta en la que el
conectivo es condicional, será falsa si siendo verdadero el antecedente, es falso el conse-
cuente. La proposición será verdadera en cualquier otro caso.

p q p→q
V V V
V F F
F V V
F F V

Bicondicional: Esta expresión es un conectivo lógico que al relacionar dos proposiciones

indica que el valor de verdad de ambas es el mismo, ya sea verdadero o falso. Así, p↔q es
una forma proposicional que significa que si p es verdadera, entonces q también es verda-
dera y si q es verdadera, entonces p también es verdadera. En realidad el conectivo bicondi-
cional es la conjunción (  ) de dos formas proposicionales condicionales (si...entonces), es
decir, la forma proposicional p↔q tiene el mismo significado que la forma proposicional
(p→q)  (q→p). En este conectivo la regla a utilizar es la siguiente, la forma proposicional
es verdadera siempre y cuando las dos proposiciones tengan el mismo valor de verdad, si
los valores de verdad son diferentes el bicondicional es falso.

p q p↔q
V V V
V F F
F V F
F F V

Para elaborar una tabla de verdad calculamos el número de filas según el núme-
ro de variables proposicionales y se procede de la siguiente forma:
Paso 1: En las primeras columnas se colocan las variables proposicionales y deba-
jo de ellas los valores de verdad que le correspondan a ellas y a sus negaciones. Para esto
divido sucesivamente entre dos el número de filas, si tenemos tres variables son ocho fi-
las, luego al dividir entre dos la primera variable proposicional tendrá los valores agrupa-
dos de cuatro en cuatro, la segunda variable proposicional de dos en dos y la tercera va-
riable proposicional de uno en uno
Paso 2: Se calcula el valor de verdad de los conectivos binarios que afecten direc-
tamente a las variables proposicionales o a las negaciones de las variables proposiciona-
les.

José Boada Tablas de verdad Página 3

 Paso 3: Se calcula los conectivos binarios que afecten a los resultados del paso an-
terior hasta llegar al conectivo principal de la forma proposicional.

Como ejemplo clasifiquemos la siguiente forma proposicional, utilizando las tablas de ver-
dad.

 p  q  r    q  r  p  r
Llamaremos a esta forma proposicional 1

p q r ~q  pq  p  q  r 
   q  r  p  q  r    q  r 
   p  r 1
V V V F V V V V V V
V V F F V F V F F F
V F V V F V V V V V
V F F V F V F F F F
F V V F F V V V F V
F V F F F V V V V V
F F V V F V V V F V
F F F V F V F F V V

Por aparecer ambos valores de verdad (verdadero y falso) en la última columna (la señalada
con 1) esta forma proposicional es una contingencia.

José Boada Tablas de verdad Página 4