Title: An Introduction to Logic