Intro to Symbolic Logic