induction (logic)