Induction puzzles

logic puzzle