Discovery of Deduction: An Introduction to Formal Logic