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:

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

a) Existe x pertencente a A, tal que, para todo y pertencente B, y = √x

b) Existe x, tal que, para todo y pertencente a B, x é diferente de y²

c) Para todo x pertencente a A, existe y pertencente a B, tal que x é diferente de y²

d) Para todo x pertencente a A, não existe y pertencente a B, tal que x=y²