From this point of view, the proposition "For any real number X, there is a real number Y, so that X+Y >;" "0" is not only a full name proposition, but also a special name proposition.
To deny it, we should follow the negative methods of full name proposition and proper name proposition.
Its negation is that there is a real number x, and for any real number y, let x+y≤0.