Translate the following inference to logic notation: If Thomas were a soldier, then Jennifer is not fast. For all x, x will write a letter if and only if x is a soldier. If Jessica were a musician, then Thomas is writing a letter. If Thomas writes a letter, then Jessica is a musician. Jennifer is fast. Therefore Jessica is not a musician.
P(a) -> ~p. forall x: Q(x) <-> P(x). q -> Q(a). Q(a) -> q. p. Therefore ~q.