Q821445 - VUNESP - 2021 - EsFCEx - Professor - Magistério em Matemática

Considere a seguinte sentença quantificada: (∀x) (x + 3 < 5 ∧ x + 7 ≥ 1). Uma negação para a sentença apresentada é:

a) (∀x) (x + 3 > 5 ∧ x + 7 ≤ 1).
b) (∀x) (x + 3 ≥ 5 ∨ x + 7 < 1).
c) (∃x) (x + 3 ≥ 5 ∨ x + 7 < 1).
d) (∃x) (x + 3 > 5 ∨ x + 7 ≤ 1).
e) (∃x) (x + 3 ≥ 5 ∧ x + 7 < 1).