Translate the following inference to logic notation: Linda is driving a car or Mary is not playing a game. Mary is playing a game or Linda is not driving a car. Therefore if Linda drives a car, then Mary is playing a game.
p or ~q. q or ~p. Therefore p -> q.