(a) x é menor que 3 e maior que 0 ou x não é igual a 7.
(b) Se x é menor que 4 e maior que 2, então x é igual a 3.
(c) Ou x é maior que 0, ou x e menor que 3 e y é maior que 0.
(d) x é maior que 3 se, e somente se, y for maior que 0.
Resposta:
(a)
(x < 3) ∧ (x > 0) ∨ ¬(x = 7)
(b)
(x < 4) ∧ (x > 2) → (x = 3)
(c)
(x > 0) ∨ (x < 3) ∧ (y > 0)
(d)
(x > 3) ↔ (y > 0)
Fonte:
MD1 - Lógica Proposicional, Profa . Dayanne G. Coelho, 2017.
