Translate the following inference to logic notation: Jessica is playing squash if and only if Jessica is writing a letter. For all x, z will write a letter if and only if z will play squash. Therefore if Jessica plays squash, then Jessica is writing a letter.
P(a) <-> Q(a). forall x: Q(x) <-> P(x). Therefore P(a) -> Q(a).