Considere a seguinte sentença quantificada: (∀x) (x + 3 < 5 ∧ x + 7 ≥ 1).
Uma negação para a sentença apresentada é:
Olá, para continuar, precisamos criar uma conta! É rápido e grátis.