Se A e B são conjuntos e se p = "para todo x pertence a A, existe y pertencente ...

Questão de Raciocínio Lógico da banca FUMARC aplicada no concurso COPASA (2017). Confira a resolução completa abaixo:

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

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