5.1.1 归纳与推演