Considere a sentença: “Qualquer que seja o número X, se X > 0, então existe um número Y tal que Y 2 = X.” A negação lógica da sentença dada é

Qualquer que seja o número X, se X > 0, então qualquer que seja o número Y tem-se que Y² ≠ X.

Qualquer que seja o número X, se X ≤ 0, então existe um número Y tal que Y² ≠ X.

Existe um número X tal que X > 0 e qualquer que seja o número Y tem-se que Y² ≠ X.

Existe um número X tal que X > 0 e existe um número Y tal que Y² ≠ X.