x的平方大于等于0是命题吗