Universidad Tecnológica de Morelia DHPL

EJERCICIOS

1. Construir las tablas de verdad de las proposiciones siguientes. Identificar si son fórmulas
contradictorias, consistentes o tautológicas.

a) [(p → q) ^ p] → q

b) [(p → r) ^ (q → r')] → (p ^ q)

c) p ^ (q v r) → s

d) [[(p → q) ^ (q → r)] → (p → r)]

e) [p → (q ^ q')] → p

f) (p → q) ˅ (p ↔ q')

g) (p ˄ q)' ↔ (p' ˅ q')

h) (p ˄ p')'

i) (p ˅ q) ↔ (q ↔ p)

j) [p ˄ (q ˅ r)] ↔ [(p ˄ q) ˅ (p ˄ r)]

k) [p → (q ˅ r)] ↔ [(p → q) ˅ (p → r)]

ACC09