已知命题a:2≤x