演绎推理。