Na lógica do cálculo de predicados, qual é a negação da seguinte afirmação? "Para todo x no conjunto dos números reais, x é maior que zero." Existe um x no conjunto dos números reais que não é maior que zero. Existe um x no conjunto dos números reais que é menor ou igual a zero.
