归纳定论
确定推理