第六节 归纳推导型