PHIL 101 Symbolic Logic