要判定一个命题是真命题,往往需要从命题的 条件出发,根据已知的定义、公理、定理一步一步推得结论成立,这样的推理过程叫做(