推理的种类和形式