Title: An Introduction to Formal Logic