自然数的平方≥1是特称命题吗