Bom dia, tenho o seguinte problema:
Devo negar as situações:
Para todo numero real x, existe um numero natural n tal que n>x.
acho que a resposta seria:
Existe um numero real x para todo numero natural n tal que n<x
Existe um numero natural n tal que, para todo numero real x, tem-se n>x
acho que a resposta seria:
Existe um numero real x, tal que para todo numero natural n, tem-se n<x
Estou no caminho certo?
Obrigado
Rafael
) será 
), e a negação de 
![\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}](/latexrender/pictures/981987c7bcdf9f8f498ca4605785636a.png "\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}")
![\sqrt[]{2}](/latexrender/pictures/f21662d1cabab6e8b273a4b6f1cd663a.png "\sqrt[]{2}")
e elevar ao quadrado os dois lados)