推理和现