Translate the following inference to logic notation: If James plays squash, then James is a musician. For all x, x_9 will play squash if and only if x_9 is a musician. Therefore if James plays squash, then James is a musician.
P(a) -> Q(a). forall x: P(x) <-> Q(x). Therefore P(a) -> Q(a).