存在X大于等于0,X的平方小于等于0是真命题还是假命题?