若x2+y2=0,则x,y全为0 的否命题 是真命题吗