Escuela de Ingenierı́a

Semestre 2024-1

EJERCICIO DE AYUDANTÍA 01 - ING1111

ARIEL FLORES • PEDRO HERNANDEZ-LLANOS • VICENTE MONREAL

Pregunta 1. Sean p, q proposiciones lógicas. Demostrar usando tablas de verdad que la siguiente proposición
es tautologı́a:
[p ∧ (q̄ ⇒ p̄)] ⇒ (p ⇒ q)

Solución:

• Escribir correctamente las todas las posibles combinaciones de p y q. (1.0)

p q
V V
V F
F V
F F
.

• Escribir correctamente las columnas de p y q. (1.0)

p q
F F
F V
V F
V V
.

• Escribir correctamente la columna de q ⇒ p (1.0)

– Si no realizó las columnas p y q pero realizó correctamente la de q ⇒ p asignar (2.0) puntos por
este item.

q⇒p
V
F
V
V
.

• Escribir correctamente la columna de p ∧ (q ⇒ p) (1.0)

p ∧ (q ⇒ p)
V
F
F
F

1
2 ARIEL FLORES • PEDRO HERNANDEZ-LLANOS • VICENTE MONREAL

• Escribir correcetamente la columna de p ⇒ q (1.0)

p⇒q
V
F
V
V
.

• Escribir correctamente la columna de [p ∧ (q̄ ⇒ p̄)] ⇒ (p ⇒ q) (1.0)

[p ∧ (q̄ ⇒ p̄)] ⇒ (p ⇒ q)
V
V
V
V
.