Intro to Symbolic Logic and 4.1 4.2