命题"方程X^2-3x+2=0的两根是1或2"是什么形式的命题