Cmo crear tablas de verdad usando Excel?

Francisco Daz Montilla

Departamento de Filosofa
Universidad de Panam
0. Introduccin
El mtodo de las tablas de verdad es un mtodo
ampliamente usado en lgica de juntores para probar
la validez de frmula o de razonamientos. A pesar de
que el mtodo permite decidir el valor de cada
frmula, puede resultar engorroso cuando se trata de
frmulas complejas.
Curiosamente, Excel constituye una excelente
herramienta para analizar los valores de verdad de
una frmula dada. El procedimiento es similar al que
usamos para tabular datos de cualquier clase, slo
que en lo que a frmulas lgicas respecta
trabajaremos con los valores 1 y 0 (verdadero y
falso respectivamente).
A continuacin se procede a explicar el proceso.
1. Conectores
Para efectos de economa notacional, usaremos
notacin prefija o polaca[1]. En consecuencia, dadas
dos proposiciones p, q:

Np significa no p (negacin)
Cpq significa p y q (conjuncin)

Dpq significa p o q (disyuncin inclusiva)

Kpq significa si p, entonces q) (implicacin
material)

Epq significa p es equivalente a q

(equivalencia material).
Una valuacin es una funcin que asocia proposiciones
con valores de verdad. Si asumimos un conjunto de
proposiciones P y un conjunto V = {1, 0}, quiere decir
que una valuacin es: v: P => V. Para efectos de
simplicidad denotaremos este hecho con la
expresin v(p) = 1 o v(p) = 0, segn p sea verdadera
o falsa.
De acuerdo con los manuales de lgica, si v(p) = 1,
entonces su negacin tomar el valor opuesto, su
complemento. Podemos expresar este hecho de la
siguiente manera: v(Np) = 1- v(p). Si v(p) = 1,
entonces v(Np) = 1- v(p) = 1-1 = 0; y si v(p) = 0,
entonces v(Np) = 1-v(p) = 1-0 = 1. Esto se ilustra en la
siguiente tabla
NEGACI
N
p Np
1 0
0 1
Una conjuncin es verdadera si y slo si sus
elementos constituyentes son verdaderos; en caso
contrario, es falsa. Esto quiere decir que basta que un
elemento constituyente de una conjuncin sea falso,

para que la conjuncin sea falsa. Este hecho lo

representaremos mediante el operador MIN, el cual
asigna a la conjuncin el valor mnimo de las
expresiones que aparezcan en ella. Tenemos,
entonces, que v(Cpq) = MIN(v(p), v(q)). Si asumimos
que v(p) = 1 y v(q) = 0, entonces, v(Cpq) =
MIN(v(p), v(q)) = MIN(1, 0) = 0. Lo anterior se sintetiza
en la siguiente tabla:
CONJUNCI
N
Cp
P Q q
1 1 1
1 0 0
0 1 0
0 0 0
Una disyuncin es falsa si y slo si sus elementos
constituyentes son falsos; en caso contrario, es
verdadera. Esto quiere decir que basta que un
elemento constituyente de una conjuncin sea
verdadero, para que la disyuncin sea verdadera. Este
hecho lo representaremos mediante el operador
MAX, el cual asigna a la disyuncin el valor mximo
de las expresiones que aparezcan en ella. Tenemos,
entonces, que v(Dpq) = MAX(v(p), v(q)). Si asumimos
que v(p) = 1 yv(q) = 0, entonces, v(Dpq) =
MAX(v(p), v(q)) = MAX(1, 0) = 1. Lo anterior se
sintetiza en la siguiente tabla:
DISYUNCI

N
P
1
1
0
0

Q
1
0
1
0

Dp
q
1
1
1
0

Una implicacin material es falsa si y slo si el

antecedente es verdadero y el consecuente es falso.
En caso contrario, es verdadera. Este hecho lo
representaremos mediante la relacin <= (menor o
igual) del modo siguiente: v(Dpq) = MAX(v(p), v(q)). Si
asumimos quev(p) = 1 y v(q) = 0, entonces, v(Kpq) =
1, si y slo si: v(p) <= v(q). En caso contrario es igual
a 0. Si asumimos que v(p) = 1 y v(p) = 0,
entonces v(Kpq) = v(p) <= v(q) = 1 <= 0. En vista de
que la desigualdad no se satisface, quiere decir
que v(Kpq) = 0. La tabla de verdad siguiente muestra
las combinaciones posibles para la implicacin
material:
IMPLICACI
N
Kp
P Q q
1 1 1
1 0 0
0 1 1
0 0 1

Una
equivalencia material es verdadera si y slo
los valores de sus constituyentes son iguales; en caso
contrario, es falsa. Este hecho lo representaremos
mediante la relacin = (igual a) del modo
siguiente: v(Epq) = 1 si y slo si v(p) = v(q). En caso
contrario tomar el valor 0. Si asumimos que v(p) = 0
y v(q) = 0, entonces, v(Epq) = v(p) = v(q) = 0 = 0 = 1.
La tabla de verdad siguiente muestra las
combinaciones posibles para la equivalencia material:
EQUIVALEN
CIA
Kp
P Q q
1 1 1
1 0 0
0 1 0
0 0 1
2. Generadores
Para cada frmula F existe un conjunto F G llamado el
generador de F. La cardinalidad FG es mayor que 0. De
hecho, si F es una proposicin simple, su generadora
es justamente dicha proposicin. La cardinalidad de
FG, no puede ser, por lo tanto, menor a 1. Sea F la
frmula CpKqr, los generadores de F son, en primer
lugar, las proposiciones simples p, q, r; en
segundo lugar, la implicacin Kqr y, finalmente, F. F
tiene, pues, cinco generadores. Esto es de suma
importancia para la construccin de las tablas de
verdad usando Excel, pues es necesario asignar

valores a cada generador. Aplicando lo que hemos

dicho anteriormente tenemos que: v(CpKqr) =
MIN(v(p),v(Kqr)) = MIN(v(p), (v(q) <= v(r))).
3. Excel
Excel es una herramienta que permite, entre otras
cosas, elaborar tablas de doble entrada, las columnas,
que aparecen identificadas con las letras A, B, C, y
las filas, que aparecen numeradas. La interseccin de
una columna con una fila constituye una celda. Por
ejemplo, la interseccin de la columna B con la fila 8
constituyen la celda B8 que hemos resaltado con el
color amarillo.

Un conjunto de celdas constituyen un rango.

Pues bien, al construir la tabla de verdad de una
frmula mediante Excel, tenemos que colocar cada
generador de la frmula en celdas distintas, y en el
mismo rango (horizontal).
Si partimos del ejemplo anterior, podemos colocar el
generador p en la celda B8, q en la celda C8, r
en la celda en la celda D8, Kqr en la celda E8 y

CpKqr en la celda F8, tal como se ilustra a

continuacin:

Una vez que hemos escrito los generadores en sus

respectivas celdas, procedemos a asignarles los valore
de verdad a cada columna, empezando por las
proposiciones simples. Como en la frmula hay tres
proposiciones simples, tenemos una tabla de 2 3 filas:

Para determinar el valor de Kqr, nos situamos en la

celda E9. Notemos que estamos ante una implicacin
material. En la celda mencionada escribimos la
expresin =SI(C9<=D9, "1", "0"), la cual es interpretada
como: Si el valor de la celda C9 es menor o igual al

valor de la celda D9, entonces asignar el valor 1, de lo

contrario, asignar el valor 0. Una vez escrita la
expresin, damos enter, y nos aparece en la celda
el nmero 1.

Luego extendemos el valor asignado hasta la celda

E16 y se obtiene la tabla completa para esa columna
E:

Para determinar los valores CpKqr nos situamos en

la celda F9. Notemos que se trata de una conjuncin,
razn por la cual debemos usar el operador MIN. Dado
que ya sabemos cules son los valores de los
componentes de esta frmula, lo que tenemos que

hacer es aplicar el operador MIN a las columnas B9 y

E9. Escribimos, entonces, en E9 la expresin:
=MIN(B9, E9), el cual se interpreta como asignar a F9
el valor mnimo de B9 y E9. Al teclear enter
aparecer 1, y al extender la operacin hasta la
celda F16 se obtiene la tabla completa:

Finalmente, para propsitos de presentacin,

escribimos en B7 la frmula original, y la unimos con
las celdas C7:F7, y si gustamos- le asignamos colores
a cada generador y su respectiva columna:

Consideremos, ahora, la frmula ENCpqDpr (la

negacin de la conjuncin de p y q es materialmente
equivalente a la disyuncin de p o r). En este caso, los
generadores de la frmula son: p, q, r, Cpq,
Dpr, NCpq y ENCpqDpr, los cuales se ubican en
el rango B8:H8. Asignamos los valores a las
proposiciones simples, siguiendo el procedimiento del
ejemplo anterior. Para determinar el valor de Cpq
escribimos en la celda E9 la frmula: =MIN(B9, C9),
damos enter y la extendemos hasta E16.

Para NCpq, escribimos en F9 la frmula: =1-E9,

pues es NCpq es la negacin de Cpq; damos
enter y la extendemos hasta F16:

En vista de que Dpr es una disyuncin usamos el

operador MAX y escribimos en G9 la expresin
siguiente: =MAX(B9, D9), damos enter y extendemos
la instruccin hasta G16, lo cual nos da lo siguiente:

Y finalmente, en vista de que ENCpqDpr es una

equivalencia material, es necesario usar la igualdad.
Nos colocamos en la celda H9 y escribimos: =SI(F9 =
G9, 1, 0); lo cual quiere decir: si el valor de F9 es
igual al valor de G9, dar a H9 el valor 1, en caso
contrario, el valor 0. Y obtenemos, as, la tabla de
verdad de nuestra proposicin.

4. A manera de conclusin
Lo anterior constituye una exposicin muy sucinta de
cmo puede usarse Excel para la construccin de
tablas de verdad para lgica proposicional, razn por
la cual podemos hacer del curso de lgica algo
ameno, entretenido y compatible con lo tecnolgico.
Bsicamente lo que hay que tener presente son las
operaciones que hemos definido anteriormente:
Np = 1-p
Cpq = MIN(p, q)
Dpq = MAX(p, q)
Kpq = 1, si p <= q; en caso contrario, es igual a 0
Epq = 1, si p = q; en caso contrario, es igual a 1.
Pero, sobre todo, debemos tener presente que al
representarlo en Excel, cada proposicin se interpreta
como si fuese una celda.

[1] Los smbolos para representar algunos han sido

cambiados, por ejemplo, en lugar K usamos C
para la conjuncin; en lugar de A usamos D para
la disyuncin, y en lugar de C usamos K para la
implicacin material.