Se A e B são conjuntos e se

p = "para todo x pertence a A, existe y pertencente a B tal que x = y²" é uma afirmação lógica, então ~p representa sua respectiva negação.

Assim sendo, é CORRETO afirmar que ~p é a afirmação: