TABLAS DE VERDAD

UMG
Tablas de verdad

Las tablas de verdad son un procedimiento utilizados para

determinar el valor de verdad o falsedad de una formula
proposicional simple o compuesta.
El procedimiento consiste en ubicar todas las posibilidades de
certeza o falsedad en forma de una tabla, posibilitando el
análisis de cada una de las opciones que aparecen en ellas.
Para construir una tabla de verdad, se debe establecer las
posibles combinaciones de la fórmula proposicional, es decir, en
cuántas formas diferentes pueden combinarse los valores de
verdad asignados a las fórmulas atómicas que las componen.
Si p es una fórmula atómica, p sólo tiene dos posibles
combinaciones (V ) o (F). Si p tiene dos fórmulas atómicas,
existen cuatro combinaciones posibles.
Si p tiene tres fórmulas atómicas, sus valores de verdad se
pueden combinar de ocho formas diferentes, y así
sucesivamente. Así, si p tiene n fórmulas atómicas, habrá 2n
combinaciones posibles.

Las tablas de verdad se construyen a partir de la interpretación

que se realiza a los operadores lógicos y, o, si. . . entonces. . . , si
y sólo si. . .
Tabla de verdad de la conjunción
La conjunción es verdadera si y solo si las dos proposiciones
simples que la conforman son verdaderas.
La conjunción es equivalente a la intersección de dos
conjuntos, además debe cumplir con la propiedad conmutativa
y asociativa.
La tabla de verdad de la conjunción se representa de la
siguiente forma:

p q p∧q
V V V
V F F
F V F
F F F
A continuación se muestra un ejemplo del uso de la tablas de
verdad, en este caso la tabla de verdad de la conjunción, el cual
parte de una expresión compuesta:

• Marina cocina arroz con coco.

Pueden suceder entonces las siguientes combinaciones:
1. Que Marina tenga el arroz y tenga el coco.
2. Que Marina tenga el arroz y no tenga el coco.
3. Que Marina no tenga el arroz y tenga el coco.
4. Que Marina no tenga el arroz y no tenga el coco.

Solo en el primer caso Marina puede preparar arroz con coco,

debido a que para la preparación se tiene tanto el arroz como el
coco. En los otros casos no podrá preparar arroz con coco. Estas
combinaciones se pueden aplicar en la anterior tabla de verdad.
Actividad
1. Complete la tabla de verdad para la siguiente fórmula
proposicional: (￢p ∧ ￢q) ∧ r
p q r ￢p ￢q (￢p ∧ ￢q) (￢p ∧ ￢q) ∧ r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Tabla de verdad de la disyunción inclusiva
La disyunción inclusiva es falsa si las dos proposiciones
simples que la conforman son falsas.
La disyunción ofrece la alternativa tanto que sea una
proposición o la otra, como que sean ambas proposiciones.
Es equivalente a la operación de unión de dos conjuntos.
La tabla de verdad de la disyunción inclusiva se representa
de la siguiente forma:

p q p∨q
V V V
V F V
F V V
F F F
A continuación se muestra el uso de la tabla de verdad de la
disyunción inclusiva, que parte de una expresión compuesta:

• En una empresa de software requiere un ingeniero de desarrollo

que tenga certificación en Java o en experiencia en C++.
Pueden darse cuatro posibilidades:
1. Tiene certificación en Java o en experiencia en C++
2. Tiene certificación en Java o no tiene experiencia en C++.
3. No tiene certificación en Java o tiene experiencia en C++.
4. No tiene certificación en Java o no tiene experiencia en C++.

El ingeniero es aceptado en el primer caso porque tiene

certificación y posee experiencia. En los casos 2 y 3 también es
aceptado porque el ingeniero cumple con al menos una de las dos.
Sólo en el caso 4 no es aceptado porque no dispone de ninguno de
los dos requerimientos solicitados por la empresa de software.
Actividad
1. Complete la tabla de verdad para la siguiente fórmula
proposicional: (p ∨ ￢q) ∧ ￢r
p q r ￢p ￢q ￢r (p ∨ ￢q) (p ∨ ￢q) ∧ ￢r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Tabla de verdad de la disyunción exclusiva
La disyunción exclusiva es verdadera sólo si una de las dos
proposiciones simples que la conforman es verdadera.
No pueden ser verdaderas o falsas ambas proposiciones al
mismo tiempo.
La tabla de verdad de la disyunción exclusiva se representa de
la siguiente forma:

p q p⊻q
V V F
V F V
F V V
F F F
A continuación se muestra el uso de la tabla de verdad de la
disyunción exclusiva:

• Un cliente solicita una tarjeta de ahorros, el banco le asignará un

número de tarjeta que termine en número par o número impar.
Pueden darse cuatro posibilidades:
1. Que el número de tarjeta termine en par o termine impar.
2. Que el número de tarjeta termine en par o no termine en impar.
3. Que el número de tarjeta no termine en par o termine en impar.
4. Que el número de tarjeta no termine en par o no termine en impar.

El primer caso no es posible porque no pueden ocurrir a la vez

ambas situaciones. Los casos 2 y 3 pueden ocurrir, ya que sólo se
puede asignar al final un número par o impar. En el caso 4 no es
posible que ocurran ambas situaciones a la vez.
Actividad
Complete la tabla de verdad para la siguiente fórmula
proposicional: ￢(￢p ⊻ q) ∨ ￢r.

p q r ￢p ￢r (￢p ⊻ q) ￢(￢p ⊻ q) ￢(￢p ⊻ q) ∨ ￢r

V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Tabla de verdad del condicional
El condicional es falso cuando la proposición antecedente
es verdadera y la proposición consecuente es falsa.
En cualquier otro caso la proposición es verdadera.
La tabla de verdad del condicional se representa de la
siguiente forma:

p q p→q
V V V
V F F
F V V
F F V
Uso de la tabla de verdad del condicional, a partir de la
siguiente expresión:

• Si Andrea es Ingeniera de Sistemas entonces construye

software.
Pueden darse cuatro posibilidades:
1. Andrea es Ingeniera de Sistemas, entonces construye
software.
2. Andrea es Ingeniera de Sistemas, entonces no construye
software.
3. Andrea no es Ingeniera de Sistemas, entonces construye
software.
4. Andrea no es Ingeniera de Sistemas, entonces no construye
software.
De acuerdo a las anteriores posibilidades se puede afirmar:

• En el caso 1, si Andrea es Ingeniera de Sistemas, entonces

construye software. Esta afirmación es verdadera.
• En el caso 2, si Andrea es Ingeniera de Sistemas, entonces no
construye software. Esta afirmación es falsa porque para ser
Ingeniera de sistemas, es necesario que Andrea construya
software.
• En el caso 3, si Andrea no es Ingeniera de Sistemas, entonces
construye software. Esta afirmación es verdadera porque
alguien puede construir software sin ser Ingeniero de
sistemas.
• En el caso 4, si Andrea no es Ingeniera de Sistemas, entonces
no construye software. Esta afirmación es verdadera por
deducción directa.
Existen diferentes formas de representar la conectiva
condicional: forma directa y la forma recíproca.

La forma directa tiene la estructura p → q, en este caso se tiene

primero el antecedente y luego el consecuente.
Por ejemplo las expresiones tienen la forma directa:

• El Barcelona gana todos los partidos, por lo tanto es el líder.

• Estamos en invierno, en consecuencia hace frio.
• Ganó el parcial, se deduce que estudió.
• El estado embargo las cuentas, se infiere que el ciudadano no
pago impuestos.
La forma recíproca tiene la estructura q → p, se invierte
el antecedente y el consecuente.
Por ejemplo las expresiones tienen la forma recíproca.

• Se terminó el partido puesto que no paró la lluvia.

• Ganaré el concurso si cumplo con todos los requisitos
• Haré inversión en la empresa si gano la convocatoria
pública.
Actividad
Complete la tabla de verdad para la siguiente fórmula
proposicional: (￢p → r) ⊻ ￢q

p q r ￢p ￢q (￢p → r) (￢p → r) ⊻ ￢q
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Tabla de verdad del bicondicional
El bicondicional es verdadero cuando las proposiciones
que lo conforman poseen el mismo valor de verdad.
La tabla de verdad del condicional se representa de la
siguiente forma:

p q p↔q
V V V
V F F
F V F
F F V
Por ejemplo:
• Un número es compuesto si y sólo si tiene más de dos
divisores.

Puede suceder que para que un número sea compuesto es

necesario que tenga más de dos divisores, y es suficiente que
tenga más de dos divisores para que sea compuesto, por lo
tanto el bicondicional es verdadero cuando las dos
proposiciones que lo conforman son verdaderas.
Por otro lado, si un número no es compuesto es porque no
tiene más de dos divisores, y es suficiente que no tenga más
de dos divisores para que no sea compuesto.
El bicondicional también es evaluado como verdadero
cuando las dos proposiciones que lo conforman son falsas.
Otras tablas de verdad
Aparte de los tablas de verdad, definidas anteriormente, se
pueden construir nuevas tablas de verdad, definidas con base a
las operaciones binarias básicas, y son las siguientes.

Tabla de verdad barra de Sheffer

Esta operación indica que “ p es incompatible con q” y es
equivalente a ￢(p ∧ q)
La tabla de verdad de Shefer se representa de la siguiente forma:
p q p|q
V V F
V F V
F V V
F F V
Tabla de verdad de la flecha de Peirce
La cual indica que “ni p, ni q” está operación equivale a ￢(p ∨ q)
p q p↓q
V V F
V F F
F V F
F F V

Implicación conversa
Esta operación actúa igual que el condicional tradicional, sólo que
el antecedente es q y el consecuente p.
p q p←q
V V V
V F V
F V F
F F V
Tarea
1. Complete la tabla de verdad para la siguiente fórmula
proposicional: (￢p ↔ r) → ￢q

p q r ￢p ￢q (￢p ↔ r) (￢p ↔ r) → ￢q
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
2. Construya la tabla de verdad para la formula proposicional:
• ￢(￢p ∧ ￢￢s).
• ￢(￢p ∨ ￢q)
• (￢p ⊻ r) ∨ ￢ q
• ￢(￢p → r) ∨ ￢q
3. Construya la tabla de verdad de los siguientes enunciados:
• (p ∧ q) ↓ ((q ∨ r) | ((p ∧ r) ← (p ↔ r)))
• (p ← (q | s)) ↓ r

4. Construya la tabla de verdad de los siguientes enunciados y

trate de deducir una conclusión:
• p ← ￢p
• p |￢p
• p ↓ ￢p