X+Y=XxY是不是命题