Translate the following inference to logic notation: For all x, if x_10 drives a car, then x_10 is listening to a song. If Thomas listens to a song, then Robert is playing tennis. If Robert plays tennis, then Thomas is driving a car. Therefore Thomas is listening to a song if and only if Thomas is driving a car.
forall x: P(x) -> Q(x). Q(a) -> p. p -> P(a). Therefore Q(a) <-> P(a).