Translate the following inference to logic notation: Patricia is listening to a song or Patricia is not playing a game. If Patricia listens to a song, then Patricia is playing a game. Patricia is not listening to a song. Therefore Patricia is not playing a game.
p or ~q. p -> q. ~p. Therefore ~q.