Translate the following inference to logic notation: For all x, y_1 will drive a car if and only if y_1 will listen to a song. For all x, y_1 will drive a car if and only if y_1 will listen to a song. Therefore if John drives a car, then John is listening to a song.
forall x: P(x) <-> Q(x). forall x: P(x) <-> Q(x). Therefore P(a) -> Q(a).