An Introduction to Formal Logic