Considere a sentença:
“Qualquer que seja o número real x, existe um número real y tal que x + y = 0”.
A negação lógica dessa sentença seria:
“Qualquer que seja o número real x, existe um número real y tal que x + y = 0”.
A negação lógica dessa sentença seria: