PHIL 220 - Symbolic Logic