推论_0101 推论 动 用语言的形式进行推理。