3.1.2 推理方式及其分类