1) Construa tabelas-verdades para as seguintes proposições compostas:
a) ¬(p ∧ q)
b) ¬(p → ¬q)
c) (p ∧ q) → (p ∨ q)
d) ¬p → (q → p)
e) (p → q) → (p ∧ q)
f) (p ↔ ¬q) → (¬p ∧ q)
g) (¬p ∧ r) → (q ∨ r)
h) p → r ↔ q ∨ ¬r
i) p → (p → ¬r) ↔ (q ∨ r)
j) ((p ∨ q) → r) ∨ (¬p ↔ (q ∨ ¬r))

Respostas: