Title: An Introduction to logic