Translate the following inference to logic notation: David is listening to a song if and only if it is windy. It is windy or David is not listening to a song. Therefore if David listens to a song, then it is windy.
p <-> q. q or ~p. Therefore p -> q.