Translate the following inference to logic notation: Susan is not playing tennis. For all x, x_16 will play tennis if and only if x_16 is an astronaut. Michael is listening to a song or Susan is an astronaut. Therefore Michael is listening to a song.
~P(a). forall x: P(x) <-> Q(x). p or Q(a). Therefore p.