Exercı́cios

Adolfo Neto
14 de abril de 2015

1 Valorações
Para cada fórmula abaixo, encontre uma valoração que a satisfaça:

• ((p ∧ q) → ¬¬r)

• (¬p ∨ (¬q ∧ ¬r))

Para cada fórmula abaixo, encontre uma valoração que a falsifique:

• ((¬p ∧ ¬¬q) → (¬r ∨ ¬s))

• ((p → q) → (s → ¬p))

1.1 Respostas
• v(p) = 0, v(q) = 0, v(r) = 0

• v(p) = 0, v(q) = 1, v(r) = 0

• v(p) = 0, v(q) = 1, v(r) = 1, v(s) = 1

• v(p) = 1, v(q) = 1, v(s) = 1