Translate the following inference to logic notation: Patricia is listening to a song or it is not raining. It is raining or Patricia is not listening to a song. Therefore if it rains, then Patricia is listening to a song.
p or ~q. q or ~p. Therefore q -> p.