已知命题p;对于任意x∈R,有sinx≤1则