Se A e B são conjuntos e se p = "para todo x pertence a A, ...
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: