Translate the following inference to logic notation: If William listens to a song, then it is cold. For all x, y will work if and only if y will listen to a song. Therefore if William works, then it is cold.
P(a) -> p. forall x: Q(x) <-> P(x). Therefore Q(a) -> p.