已知命题“， ”，此命题的否定是                     （用符号表示）。