sinX+cosX大于1,则X必定是锐角判断真假命题