Translate the following inference to logic notation: For all x, y will play tennis or y will listen to a song. Linda is not playing tennis or it is snowing. Therefore Linda is listening to a song or it is snowing.
forall x: P(x) or Q(x). ~P(a) or p. Therefore Q(a) or p.