Title: Introduction to Symbolic Logic