第6节 归纳推导型