对任意的实数x, 存在y, 使得x+y>0.这个命题的否定是什么

对任意的实数x,存在y,使得x+y>0.这个命题的否定是什么

不知道因果是那部分 ........

原命题是：如果对于任意的实数x，x+y>0成立，则y存在。
否定是：如果对于任意的实数x，使得x+y≤0成立，则y不存在。

记p(x):存在y,使x+y>0 则原命题为“对任意实数x，p(x)” 其否定为“存在实数x,使非p(x)” 又p(x)为特称命题，所以非p(x)即“对任意y,x+y<=0” 所以原命题的否定为 “存在实数x，使对任意y，x+y<=0”

按照全称命题与特称命题的否定方法，我认为它的否定步骤如下： 1.并非【对于任意实数x，存在实数y，使x+y>0】 2.存在实数x，【存在实数y，使x+y>0】不成立， 3.存在实数x，对于任意实数y，非【使x+y>0】成立， 4.得到原来命题的否定是：存在实数x，对于任意的实数y，使x+y≤0.

原命题可以写成：如果x是任意一个实数，则存在y使得x+y>0 所以否命题可以写成：如果x不是任意一个实数，则不存在y使得x+y>0。即存在一个实数x，使得没有y可以满足x+y>0。即存在一个实数x，使得对于任意的y，都有x+y小于等于0。