12.3 合情推理与演绎推理