Translate the following inference to logic notation: Joseph is climbing a mountain if and only if Richard is listening to a song. Richard is listening to a song or Joseph is not climbing a mountain. If Richard listens to a song, then Joseph is climbing a mountain. Therefore Richard is listening to a song if and only if Joseph is climbing a mountain.
p <-> q. q or ~p. q -> p. Therefore q <-> p.