逻辑推理类