存在实数属于R,使sinx+cosx=2分之π成立 这个是真命题吗