X>0不是命题,那为什么a^2+b^2=a^2是个命题?,