Title: Introduction to Propositional Logic and Set Theory