Considere a proposição lógica:

“Para todo número real x, existe um número real y tal que x + y = 0.”

A negação dessa proposição é dada pela proposição