含两个量词的命题如何否定?
比如："对于任意x属于实数,存在实数y,使x>y"这个命题的否定?