TABLAS DE MATEMÁTICAS

VERDAD DISCRETAS
Tablas de verdad

′, ~, ¬, −
Nota
• Una tabla de verdad está formada por filas y columnas, y el número de filas
depende del número de proposiciones diferentes que conforman una proposición
compuesta. Asimismo, el número de columnas depende del número de
proposiciones que integran la proposición y del número de operadores lógicos
contenidos en la misma.
• En general se tiene la siguiente expresión:
Número de filas = 2n
donde n es el número de proposiciones diferentes que integran una proposición
compuesta.
Jerarquía de operaciones
Ejercicio. Obtén la tabla de verdad de las
siguientes proposiciones compuestas
 Verdadero= 1
Falso= 0
Ejercicio
Obtén la tabla de verdad de la siguiente proposición compuesta [ 𝑝 → 𝑞 ′ → 𝑟] → (𝑝′ ∨ 𝑟 ′ ∧ 𝑞)
′ 𝑟′ ∧ 𝑞
p q r (𝒑 → 𝒒) 𝑝→𝑞 [ 𝑝→𝑞 ′
r’ p’ (𝑝′ ∨ 𝑟 ′
→ 𝑟] ∧ 𝑞)
1 1 1 1 0 1 0 0 0
1 1 0 1 0 1 1 1 0
1 0 1 0 1 1 0 0 0
1 0 0 0 1 0 1 0 0
0 1 1 1 0 1 0 0 1
0 1 0 1 0 1 1 1 1
0 0 1 1 0 1 0 0 1
0 0 0 1 0 1 1 0 1
 Verdadero= 1
Falso= 0
Ejercicio
Obtén la tabla de verdad de la siguiente proposición compuesta [ 𝑝 → 𝑞 ′ → 𝑟] → (𝑝′ ∨ 𝑟 ′ ∧ 𝑞)

p q r [ 𝑝→𝑞 ′
→ 𝑟] (𝑝′ ∨ 𝑟 ′ ∧ 𝑞) [ 𝑝 → 𝑞 ′ → 𝑟]
→ (𝑝′ ∨ 𝑟 ′ ∧ 𝑞)
1 1 1 1 0
1 1 0 1 1
1 0 1 1 0
1 0 0 0 0
0 1 1 1 1
0 1 0 1 1
0 0 1 1 1
0 0 0 1 1

Es una contingencia
Posibles soluciones en una tabla de
verdad
• Tautología: es aquella proposición (compuesta) que es cierta para todos los valores
de verdad de sus variables.
• Contradicción: Se dice que una proposición es una contradicción o “absurdo” si al
evaluar la proposición el resultado es falso, para todos los valores de verdad
• Contingencia: Una proposición compuesta cuyos valores, en sus diferentes líneas
de la tabla de verdad, dan como resultado unos y ceros se llama contingencia,
inconsistencia o falacia.
Ejercicio 2
Obtén la tabla de verdad de la siguiente proposición compuesta

p q r q’ r’ 𝒑∧𝒒 𝒒′ ∨ 𝒓 𝒑 𝒑 𝒑
→ 𝒒′ ∨ 𝒓 → 𝒒′ ∨ 𝒓 → 𝒒′ ∨ 𝒓
↔𝒑∧𝒒 ↔𝒑∧𝒒
→ 𝒓′

1 1 1 0 0 1 1 1 1 0
1 1 0 0 1 1 0 0 0 1
1 0 1 1 0 0 1 1 0 1
1 0 0 1 1 0 1 1 0 1
0 1 1 0 0 0 1 1 0 1
0 1 0 0 1 0 0 1 0 1
0 0 1 1 0 0 1 1 0 1
0 0 0 1 1 0 1 1 0 1
Ejercicio 3. Equivalencia lógica
Determina si las siguientes proposiciones compuestas son lógicamente equivalentes
p q
1 1
1 1
1 0
1 0
0 1
0 1
0 0
0 0
r (𝒑 → 𝒓)
1 1
0 0
1 1
0 0
1 1
0 1
1 1
0 1
(𝒒 → 𝒓) [(𝒑 → 𝒓) ∧
(𝒒 → 𝒓)]
1 1
0 0
1 1
1 0
1 1
0 0
1 1
1 1
Ejercicio 3. Equivalencia lógica
Determina si las siguientes proposiciones compuestas son lógicamente equivalentes

Conclusión no son equivalentes

p q
1 1
1 1
1 0
1 0
0 1
0 1
0 0
0 0
r (𝒑 ∧ 𝒒) [(𝒑 ∧ 𝒒) → 𝐫]
1 1
0 1
1 0
0 0
1 0
0 0
1 0
0 0
[(𝒑 → 𝒓) ∧
(𝒒 → 𝒓)]
1 1
0 0
1 1
1 0
1 1
1 0
1 1
1 1
Investigar
• Investigar las funciones que pueden ser de utilidad en Excel para poder resolver
una tabla de verdad.
Actividad
• Revisa los siguientes tutoriales.
1. Proposiciones y operaciones básicas
https://www.youtube.com/watch?v=Ed9GKFmKToY
2. Tablas de verdad https://www.youtube.com/watch?v=L69ygPEeq7M
3. Tablas de verdad (sesión 2)
https://www.youtube.com/watch?v=AaiHcM_uAOg&t=183s
4. Tablas de verdad. Proposiciones Compuestas
https://www.youtube.com/watch?v=RY89xcvnevI
• Describe con tus propias palabras lo que entendiste de cada uno de ellos.
Actividad
• Determina la tabla de verdad de la siguiente proposición compuesta

• Determina si la siguiente proposición compuesta es lógicamente equivalente

Equipos 1, 3, 5 y 7 realizar el primer ejercicio

Equipos 2, 4 y 6 realizar el segundo ejercicio
Actividad 2
• Determina la tabla de verdad de la siguiente proposición compuesta

• Determina si la siguiente proposición compuesta es lógicamente equivalente

Equipos 2, 4 y 6realizar el primer ejercicio

Equipos 1, 3, 5 y 7 realizar el segundo ejercicio
Practica
EJERCICIO EQUIPO

[[ 𝑝 ∧ 𝑟 ↔ 𝑞 ′ → 𝑝′] → 𝑟 ′ ]′ 1, 3, 5 y 7

𝑝′ → (𝑟´ ∨ 𝑞 ∧ 𝑝) ↔ 𝑟 ∨ 𝑞′ → 𝑝 2, 4 y 6