TABLA DE VERDAD

Una tabla de verdad es un instrumento que nos permite analizar los valores de
verdad que una proposición simple o compuesta puede asumir de acuerdo con
determinada interpretación. También nos sirve para evaluar la validez de los
argumentos deductivos.

En la Lógica que estudiamos, que es una Lógica bivalente, sólo se manejan dos
valores de verdad: verdadero (que se abrevia con V) y falso (que se abrevia
con F).

Toda proposición puede ser verdadera (V) o falsa (F). Las tablas de verdad son un
método para saber si una fórmula molecular (es decir, formada por varias
proposiciones) es siempre V, a veces V o nunca V (es decir, siempre F). Si los
valores son siempre V tenemos una Tautología, si siempre son F estamos ante
una contradicción. Como hemos dicho, cualquier proposición puede tener valor V
(verdadero) o F (falso).
En un intento por sistematizar el razonamiento matemático, surge el concepto de
Lógica Proposicional. Como su nombre lo explícita, trabajaremos con
proposiciones lógicas; las cuales poseen un valor de verdad (verdadero o falso).
Por convención, las denotaremos con letras minusculas. Por ejemplo; p,q,r,s.
Son ejemplo de proposiciones lógicas:
a. p: El gato es café.
b. q: 3 es un número primo.
c. r: 18 es múltiplo de 3 y múltiplo de 6.
d. s:π<e.
Estas proposiciones tienen un valor de verdad. En particular, p,q,r son verdaderas
mientras que s es falsa.

No son ejemplos de proposiciones lógicas:

a. p: ¿Qué hora es?
b. q: Borra la pizarra.
c. r: Tengo sueño.
d. s:π+e.

Existen proposiciones simples y compuestas. En el Ejemplo p,q,s son

proposiciones simples, mientras que r es compuesta.

Las proposiciones compuestas están formadas por más de una proposición

simple, las cuales están unidas a través de conectivos lógicos.

La proposición p: Puerto Montt es una ciudad de Chile y Montevideo es una ciudad

de Uruguay es una proposición compuesta.
Está formada por dos proposiciones simples: q: Puerto Montt es una ciudad de
Chile y r: Montevideo es una ciudad de Uruguay; las cuales están unidas por el
conectivo lógico "y".

Para poder hacer un análisis, necesitamos saber cuáles son los valores de verdad
de cada una de los conectivos. Cada conectivo lógico tiene su tabla de verdad, es
decir, nos señala los criterios para decir cuándo una proposición es verdadera o
falsa.

Negación: Sea p una proposición lógica. La negación de p se denota p¯ y toma el

valor de verdad contrario a p.
Si p: Chillán es una ciudad de Chile, su negación es 𝑝̅ : Chillán no es una ciudad
de chile.
Si q: 𝑒 < 𝜋 entonces su negación es 𝑝̅ : 𝑒 ≥ 𝜋
Conectivos Lógicos Se definen los conectivos lógicos:
1. ∧: Conjunción ("y")
2. ∨: Disyunción ("o").
3. ⊻: Disyunción Exclusiva ("o bien").
4. ⇒: Implicancia ("entonces").
5. ⇔: Equivalencia ("si y sólo si").

Tablas de Verdad Una Tabla de Verdad representa los valores de verdad que
puede tomar una proposición compuesta, en función de todos los posibles valores
de verdad de las proposiciones simples que componen esta última.
La Tabla de Verdad de la Negación corresponde a
p p¯
V F
F V

Conjunción, "y lógico" Dados p,q; dos proposiciones lógicas, se construye su

conjunción com.(p∧q). Se lee: p y .q.
(p∧q) es verdadera si p y q son simultáneamente verdaderas. En los demás casos,
es falsa. La conjunción posee la tabla de verdad
Disyunción, "o lógico" Dados ;p,q; dos proposiciones lógicas, se construye su
disyunción como .(p∨q). Se lee: p o .q.
(p∨q) es falsa si p y q son simultáneamente falsas. En los demás casos, es
verdadera. La disyunción posee la tabla de verdad

Disyunción Exclusiva, "o bien" Dados ;p,q; dos proposiciones lógicas, se

construye su disyunción exclusiva como (p⊻q). Se lee: p o bien .q.
(p⊻q) es falsa si p y q tienen el mismo valor de verdad. En caso contrario, es
verdadera. La disyunción exclusiva posee la tabla de verdad

p q (p⊻q)
V V F
V F V
F V V
F F F

Condicional o Implicancia, "entonces" Dados p,q; dos proposiciones lógicas, se

construye su implicancia como (p⇒q). Se lee: p entonces q.
(p⇒q) es falsa si q es falsa. En los demás casos, es verdadera. La implicancia
posee la tabla de verdad
Bicondicional o Equivalencia, "si y sólo si" Dados p,q; dos proposiciones
lógicas, se construye su equivalencia como (p⇔q). Se lee: p si y sólo si .q.
(p⇔q) es verdadera si p y q tienen el mismo valor de verdad. En caso contrario, es
falsa. La equivalencia posee la tabla de verdad

Cuando hacemos una tabla de verdad asignamos todas las combinaciones

posibles de valores para esas variables proposicionales. Si la formulación consta
de una variable "p" tenemos 2 valores de verdad (V y F). Si la formulación consta
de 2 variables "p" y "q" tenemos 2 elevado a dos, es decir, 4 posibilidades. Si la
formulación consta de 3 variables “p”, “q” y “r”, tenemos 2 elevado a 3, es decir, 8
posibilidades.
La construcción de la tabla de verdad nos indica todas las posibilidades que hay
para combinar proposiciones dependiendo de si estas son verdaderas o falsas.
Pero para tener la tabla de verdad completa debemos incluir las relaciones lógicas
existentes entre esas proposiciones. Una vez hemos construido la parte de la tabla
de verdad que nos indica las distintas combinaciones de los valores de verdad
debemos añadir nuevas columnas a la derecha, en ellas iremos escribiendo las
relaciones entre proposiciones, atendiendo siempre a su estructura lógica, y
debajo de la fórmula escrita iremos poniendo el valor de verdad correspondiente
en caso de ser V-V o V-F o F-V…
Tautologías

En lo que sigue, buscaremos métodos que nos permitan demostrar que una
determinada proposición compuesta es verdadera.

Cuando una proposición compuesta es verdadera, se denomina tautología. Si es

falsa, se dice que es una contradicción. Si una proposición no es ni verdadera ni
falsa independientemente de los valores de verdad de las proposiciones simples
que la componen, esta se denomina contingencia.

Para verificar si una proposición compuesta es tautología, emplearemos el método

de tablas de verdad.

Ejemplo: Probaremos mediante tablas de verdad que 𝑝 ⤇ (𝑝⌵𝑞) es una

tautología.

p q (p∨q) [p⇒(p∨q)]
V V V V
V F V V
F V V V
F F F V
Como todos los casos posibles son verdaderos, entonces p⇒(p∨q) es una
tautología.