推理的三种类型