数字类的推理方法