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