在{type}中搜索 “演绎法”，共找到1个结果