Introduction to deduction and induction