命题“不存在实数x,x∧2+4<4x”是什么命题(全称还是存在性),它的否定是