进行自然演绎推理时，第一步需要（ ）。