Logic - Induction and Deduction