Instituto de Matemática, Física y Estadística

Lógica proposicional

Clase N◦ 2
Tablas de verdad

MAT140 - Álgebra I
 Índice

1 Resultado de Aprendizaje

2 Conectivos Lógicos (recordatorio)

3 Tablas de verdad

4 Tautología, contradicción y contingencia

5 Tablas de verdad de los conectivos básicos

6 Formulario de Tautologías

2/18 IMFE Universidad de las Américas

 Resultado de Aprendizaje

Al finalizar esta unidad, usted será capaz de:

• Determinar el valor de verdad de proposiciones compuestas mediante
el uso de las propiedades de la lógica proposicional.

3/18 IMFE Universidad de las Américas

 Recordando Clase 1

Conectivos Lógicos (recordatorio)

Recordemos que los conectivos lógicos que trabajaremos en este curso
son símbolos que enlazan proposiciones, sin formar parte de ellas,
obteniendo así nuevas proposiciones.

Por ejemplo:

Marcela estudia Ingeniería en vespertino y trabaja en una empresa por las mañanas
| {z } | {z }
proposición simple proposición simple

4/18 IMFE Universidad de las Américas

 Tablas de verdad

Tablas de Verdad
Los valores de verdad de una proposición compuesta se pueden calcular
en una tabla de verdad, la que se construye con todas las combinaciones
posibles de los valores de verdad que pueden tomar las proposiciones
simples que forman la proposición compuesta. El número de filas
dependerá del número de proposiciones que estemos estudiando.

Fórmula para determinar número de filas en una tabla de verdad

La formula que se utiliza es 2n , donde n corresponde al número de
proposiciones simples.

5/18 IMFE Universidad de las Américas

 Tablas de verdad

Por ejemplo:
p p q p q r
V V V V V V
F V F V V F
F V V F V
F F V F F
F V V
F V F
F F V
F F F

6/18 IMFE Universidad de las Américas

 Tautología, contradicción y contingencia

Observaciones
• Tenga presente que:
√
Si todos los valores de su tabla de verdad son verdaderos, la
proposición se llama tautología, y por consiguiente es siempre
verdadera independiente del valor de verdad de las proposiciones
simples que la compongan. Basta que tenga un solo valor de falsedad
para que no sea una tautología.
√
Una proposición compuesta es contradicción cuando ella es
siempre falsa.
√
Una proposición compuesta es una contingencia cuando no es ni
tautología ni contradicción.

7/18 IMFE Universidad de las Américas

 En resumen...

Conectivo Símbolo P. Compuesta Se lee

conjunción ∧ p∧q “p y q"
disyunción ∨ p∨q “p o q"
implicación → p→q “p implica q"(“si p, entonces q")
doble implicación ↔ p↔q “p si y solo si q"
disyunción exclusiva Y pYq “ p o q, pero no ambos"

8/18 IMFE Universidad de las Américas

 Ejercicio

Actividad 1
Considere las proposiciones:
• p: Ana estudia Economía,
• q: Ana estudia Marketing.
Trazar una línea uniendo cada proposición de la columna izquierda con su
correspondiente de la columna derecha.
1) Ana estudia Economía y Marketing. p∧q
2) Si Ana estudia Marketing, entonces estudia Economía. p→q
3) Ana estudia Economía, pero no estudia Marketing. p∧q
4) Ana no estudia Economía ni Marketing. p∧q
p∧q
q→p

9/18 IMFE Universidad de las Américas

 Tablas de verdad de los conectivos básicos

Negación (p)
Dada una proposición p, se llama negación de p, y se escribe p, a la
proposición “no p”. Esto significa que p es V si p es F, y p es F si p es V.
La Tabla de Verdad para p es:
p p
V F
F V

10/18 IMFE Universidad de las Américas

 Tablas de verdad de los conectivos básicos

Conjunción (∧)
Dadas dos proposiciones p y q, la conjunción de ellas es la proposición “p y
q”, la cual se escribe p ∧ q.
Así p ∧ q, es V si ambas lo son, y p ∧ q es F si al menos una de ellas lo es.
La Tabla de Verdad para p ∧ q es:
p q p∧q
V V V
V F F
F V F
F F F

11/18 IMFE Universidad de las Américas

 Tablas de verdad para los conectivos básicos

Disyunción (∨)
Dadas dos proposiciones p y q, la disyunción de ellas es la proposición “p
o q”, la cual se escribe p ∨ q. Así, p ∨ q es V si al menos una de ellas lo es, y
p ∨ q es F si ambas lo son.
La Tabla de Verdad para p ∨ q es:
p q p∨q
V V V
V F V
F V V
F F F

12/18 IMFE Universidad de las Américas

 Por ejemplo:
Considere las dos proposiciones:
p: “ Esta tarde iré al cine”
q: “ Esta tarde iré a comer a un buen restaurante”
Entonces, p∨q se escribe en lenguaje común:

Observación: También existe la disyución fuerte que se escribe p Y q la cual

es verdadera solamente cuando una de ellas lo es.

13/18 IMFE Universidad de las Américas

 Tablas de verdad para los conectivos básicos

Condicional (→)
Dadas dos proposiciones p y q, la condicional de ellas es la proposición “si
p entonces q”, la cual se escribe p → q. Aquí, p se llama antecedente y q
consecuente. También, p → q se lee “p es condición suficiente para q”, o
bien “q es condición necesaria para p”. Así, p → q es F sólo si p es V y q es F.
La Tabla de Verdad para p → q es:
p q p→q
V V V
V F F
F V V
F F V

14/18 IMFE Universidad de las Américas

 Tablas de verdad para los conectivos básicos

Bicondicional (p ↔ q)
Dadas dos proposiciones p y q, la bicondicional de ellas es la proposición
“p si y sólo si q”, la cual se escribe p ↔ q. También, p ↔ q se lee “p es
condición necesaria y suficiente para q”. Así, p ↔ q es V sólo si ambas
proposiciones tienen el mismo valor de verdad. La Tabla de Verdad para
p ↔ q es:
p q p↔q
V V V
V F F
F V F
F F V

15/18 IMFE Universidad de las Américas

 Ejercicio

Actividad 2
Usando las tablas de verdad de los conectivos lógicos, complete la siguiente tabla
de verdad y luego determine si [(p ∧ q) → (p ∨ r)] es una tautología, contradicción
o contingencia.
p q r p p ∧ q p ∨ r [(p ∧ q) → (p ∨ r)]

luego la proposición dada es una...

16/18 IMFE Universidad de las Américas

 Algunas tautologías importantes

Tautologías
• p⇔p (doble negación)
• p∧q ⇔q∧p (conmutatividad de ∧)
• p∨q ⇔q∨p (conmutatividad de ∨)
• p↔q⇔q↔p (conmutatividad de ↔)
• p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r (asociatividad de ∨)
• p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r (asociatividad de ∧)
• p ↔ (q ↔ r) ⇔ (p ↔ q) ↔ r (asociatividad de ↔)
• p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) (distributividad de ∧ con respecto a ∨)

17/18 IMFE Universidad de las Américas

 Algunas tautologías importantes
Tautologías
• p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)
• (p ∧ q) ⇔ (p ∨ q)
• (p ∨ q) ⇔ (p ∧ q)
• (p → q) ⇔ (q → p)
• (p → q) ⇔ (p ∨ q)
• (p → q) ⇔ p ∧ q
• p ↔ q ⇔ (p → q) ∧ (q → p)
• p ↔ q ⇔ (p ∧ q) ∨ (p ∧ q)
• (p → q) ∧ (q → r) =⇒ (p → r)
18/18 IMFE
(distributividad de ∨ con respecto a ∧)
(Ley de De Morgan para ∧)
(Ley de De Morgan para ∨)
(contrarrecíproca)
(Reducción al absurdo)
(Bicondicional dividida en dos partes)
(Transitividad)
Universidad de las Américas