Translate the following inference to logic notation: For all x, y_4 is a musician if and only if y_4 is a server. Mary is not driving a car. If Jessica were a server, then Michael is a nurse. If Michael were a nurse, then Mary is driving a car. Therefore Jessica is not a musician.
forall x: P(x) <-> Q(x). ~p. Q(a) -> q. q -> p. Therefore ~P(a).