PHIL_V 220 - Symbolic Logic