2.6.1 推理理论