Introduction to Deduction