合情推理和演绎推理