要判定一个命题是真命题,往往需要从命题的条件出发,根据已知的定义、公理、定理一步一步推得结论成立.这样的推理过程叫做_______.
已知︱x︱-︱y︱=2,且y =-4,则 x = 。
︱x︱<л,则整数x =。
有理数a ,b在数轴上的位置如图所示,则a b, ︱a︱︱b︱。
若︱x+3︱+︱y-4︱= 0,则 x + y = 。
︱x - 1︱ ="3" ,则 x= 。