Translate the following inference to logic notation: Susan is not playing tennis. If Mary were a taxi driver, then Patricia is listening to a song. For all x, y_4 is curious if and only if y_4 is a taxi driver. If Patricia listens to a song, then Susan is playing tennis. Therefore Mary is not curious.
~p. P(a) -> q. forall x: Q(x) <-> P(x). q -> p. Therefore ~Q(a).