逻辑推理

模型基于前提推导结论的能力，常用于数学证明