命题“二元一次方程是方程”的逆命题 用如果.那么的形式