A negação de “y > 7 ou y < 3” é:
y ≤ 7 e y ≥ 3;
se y < 7 então y > 3;
y < 7 e y > 3;
y ≤ 7 ou y ≥ 3;
se existe y ≤ 7 então y < 3.