You might know 1+1=2, but have you ever wondered why it isn't equal to 3? How about what all those strange backwards E's and upside down A's mean? Come learn about the the foundations of formal mathematical logic and learn how to prove why anything is true! We'll cover the basics of propositional logic, truth tables, and set theory.