Lógica Matemática en la Computación

La lógica matemática, y en particular la lógica proposicional, es fundamental en el ámbito de la computación. Es

la base sobre la cual se construyen circuitos digitales, algoritmos y sistemas de verificación. En su núcleo, la lógica
proposicional permite formalizar y manipular proposiciones —afirmaciones que pueden ser verdaderas o falsas—
utilizando operadores lógicos como la conjunción, disyunción, y condicional. En la práctica, estas operaciones se
reflejan en la operación de compuertas lógicas en circuitos digitales, lo que permite a los computadores realizar
cálculos, tomar decisiones, y ejecutar instrucciones. Además, la lógica es clave en el desarrollo de lenguajes de
programación, la automatización de pruebas, y la optimización de algoritmos, destacando su importancia en el
diseño y funcionamiento de software y hardware.

Tablas de Verdad
Conjunción (AND)
La operación de conjunción entre dos proposiciones p y q, denotada p ∧ q, es verdadera solo si ambas p y q son
verdaderas.

p q p∧q
V V V
V F F
F V F
F F F

Disyunción (OR)
La operación de disyunción entre dos proposiciones p y q, denotada p ∨ q, es verdadera si al menos una de las
proposiciones es verdadera.

p q p∨q
V V V
V F V
F V V
F F F

Condicional (IF-THEN )
El condicional entre dos proposiciones p y q, denotado p → q, es falso solo si p es verdadera y q es falsa.

p q p→q
V V V
V F F
F V V
F F V

Bicondicional (IF AND ONLY IF )

El bicondicional entre dos proposiciones p y q, denotado p ↔ q, es verdadero si ambas proposiciones son
verdaderas o ambas son falsas.

p q p↔q
V V V
V F F
F V F
F F V

Tautologı́a, Contradicción y Contingencia

Una tabla de verdad permite evaluar todas las posibles combinaciones de valores de verdad para una proposición
compuesta. Dependiendo del resultado, la proposición puede clasificarse de la siguiente manera:

elaborado por: @sigmotoa [Link]

 • Tautologı́a: Una proposición es una tautologı́a si es verdadera en todas las posibles combinaciones de
valores de verdad de sus componentes. En otras palabras, la columna final de su tabla de verdad contiene
únicamente valores verdaderos.
p q p ∨ ¬p
V V V
V F V
F V V
F F V

• Contradicción: Una proposición es una contradicción si es falsa en todas las posibles combinaciones
de valores de verdad de sus componentes. Es decir, la columna final de su tabla de verdad contiene
únicamente valores falsos.
p q p ∧ ¬p
V V F
V F F
F V F
F F F

• Contingencia: Una proposición es una contingencia si tiene al menos una combinación de valores de
verdad que la hace verdadera y al menos una que la hace falsa. Esto significa que la columna final de su
tabla de verdad contiene tanto valores verdaderos como falsos.
p q p∧q
V V V
V F F
F V F
F F F

elaborado por: @sigmotoa [Link]

Ejercicios
Propiedades Lógicas
1. Demuestre que p ∨ (q ∧ r) es equivalente a (p ∨ q) ∧ (p ∨ r).
2. Verifique la propiedad conmutativa: p ∧ q ≡ q ∧ p y p ∨ q ≡ q ∨ p.

3. Compruebe la ley de absorción: p ∨ (p ∧ q) ≡ p.

4. Verifique la ley de distribución: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r).
5. Utilice las leyes de De Morgan para demostrar que ¬(p ∧ q) ≡ ¬p ∨ ¬q.

6. Demuestre que p → q es equivalente a ¬p ∨ q.

7. Verifique la doble negación: ¬(¬p) ≡ p.
8. Pruebe la equivalencia: (p → q) ≡ (¬q → ¬p).
9. Demuestre la ley idempotente: p ∨ p ≡ p y p ∧ p ≡ p.

10. Compruebe la ley de la identidad: p ∧ V ≡ p y p ∨ F ≡ p.

Enunciados en Proposiciones
A continuación, se presentan ejercicios basados en enunciados reales que deben ser convertidos a expresiones
lógicas y analizados mediante tablas de verdad.

1. Si llueve (p), entonces llevaré paraguas (q) y es válido (¬q)), el acceso es denegado (¬r). Es-
si no llueve, llevaré sombrero (r). Escriba la criba la proposición lógica y determine su tabla
proposición lógica y determine su tabla de ver- de verdad.
dad.
7. Si el dispositivo está encendido (p), pero no
2. Si estudio (p), entonces aprobaré el examen (q), conectado a la red (¬q)), no se puede acceder
pero si no estudio y el examen es fácil (r), al servicio (¬r). Si está conectado a la red (q)),
también aprobaré. Escriba la proposición lógica entonces se puede acceder al servicio (r). Escriba
y determine su tabla de verdad. la proposición lógica y determine su tabla de ver-
dad.
3. Si me despierto temprano (p), llegaré a tiempo
(q), pero si no me despierto temprano (¬p), no 8. Si el estudiante entrega la tarea (p)) y la entrega
llegaré a tiempo (¬q). Escriba la proposición es antes de la fecha lı́mite (q)), recibirá una buena
lógica y determine su tabla de verdad. calificación (r). Si la entrega es tardı́a (¬q)),
recibirá una calificación baja (¬r). Escriba la
4. Si el sistema operativo es seguro (p) y el antivirus proposición lógica y determine su tabla de ver-
está actualizado (q), entonces la computadora dad.
está protegida (r). Escriba la proposición lógica
y determine su tabla de verdad. 9. Si el teléfono está encendido (p)) y tiene baterı́a
(q)), entonces recibirá llamadas (r). Si el teléfono
5. Si la luz está encendida (p)) o si es de dı́a está apagado (¬p)), no recibirá llamadas (¬r).
(q), entonces puedo leer (r). Si no puedo leer Escriba la proposición lógica y determine su tabla
(¬r)), entonces encenderé la luz (p). Escriba la de verdad.
proposición lógica y determine su tabla de ver-
dad. 10. Si un número es par (p)) y divisible por 5 (q)),
entonces es múltiplo de 10 (r). Si no es par
6. Si la contraseña es correcta (p) y el usuario es (¬p)) o no es divisible por 5 (¬q)), entonces no
válido (q)), entonces el acceso es permitido (r). es múltiplo de 10 (¬r). Escriba la proposición
Si la contraseña es incorrecta (¬p) o el usuario no lógica y determine su tabla de verdad.

elaborado por: @sigmotoa [Link]

Ejercicios de Tablas de Verdad
A continuación se presentan una serie de ejercicios para construir tablas de verdad. Cada ejercicio incluye
expresiones lógicas que contienen entre 2 y 5 proposiciones. Para cada expresión, se debe construir su tabla de
verdad completa.

1. p ∧ q 11. p ∨ q ∨ r 21. ¬(p ∨ q) ∧ (r ∨ s)

2. p ∨ ¬q 12. p ∧ q ∧ ¬r 22. (p ∧ ¬q) ∨ (r ↔ s)
3. p → q 13. (p ∧ q) ∨ (r ∧ s) 23. p ∧ ¬(q → r)

4. p ↔ ¬q 14. (p → q) ∧ (r → s) 24. ¬(p ∧ q) → (r ∨ s)

5. ¬(p ∧ q) 15. ¬(p ∨ q) ∨ (r ∧ s) 25. (p → q) ∧ (r ↔ ¬s)
6. p ∧ (q ∨ r) 16. (p ∧ q ∧ r) → s 26. (p ∨ ¬q) ∧ (¬r ∨ s)

7. (p ∨ q) ∧ ¬r 17. p ↔ (q ∨ (r ∧ s)) 27. ¬(p ∨ q ∨ r) ↔ (s ∧ t)

8. (p ∧ q) → r 18. ¬(p ∧ q ∧ r ∧ s) 28. p ∨ (q ∧ ¬r) ∧ (s ∨ ¬t)
9. ¬p ∨ (q ∧ r) 19. (p ∨ q) ∧ (r ∨ s) ∧ t 29. (p ↔ q) → (r ∧ s ∧ t)
10. (p → q) ↔ (r ∧ s) 20. ¬((p → q) ∨ (r ∧ s)) 30. ¬((p ∧ q) ∨ (r → s)) ↔ t

elaborado por: @sigmotoa [Link]