x^2-3=0是不是命题