小明在做题时发现了矛盾,他在解一元一次不等式时遇到不等式-x>x,小明在不等式两边同除以x,则得到-1>1,这这显然是不