形式化推理

基于严格逻辑规则进行推导的能力，区别于统计概率预测，要求每一步骤均可被验证为真。