命题:存在一个x属于R,sinX+cosX=根号2 是真是假