Translate the following inference to logic notation: Patricia is listening to a song or David is not playing tennis. For all x, if z listens to a song, then z is sleeping. Patricia is not sleeping. Therefore David is not playing tennis.
P(a) or ~p. forall x: P(x) -> Q(x). ~Q(a). Therefore ~p.