Translate the following inference to logic notation: If Richard plays a game, then it is windy. If Richard plays a game, then it is windy. If it is windy, then Richard is playing a game. Therefore it is windy if and only if Richard is playing a game.
p -> q. p -> q. q -> p. Therefore q <-> p.