According to the concept in the textbook: the proposition containing the universal quantifier is called the universal proposition; Propositions containing special quantifiers are called special propositions.

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.