Title: An Introduction to Symbolic Logic