推理的种类