命题“存在实数，使得”，用符号表示为                ；此命题的否定是                     （用符号表示），是     命题（添“真”或“假”）。