“方程x^2=x的解为x=1”请问这个是真命题吗?