Translate the following inference to logic notation: If Joseph plays a game, then Mary is driving a car. If Joseph plays a game, then Mary is driving a car. If Mary drives a car, then Joseph is playing a game. Therefore if Mary drives a car, then Joseph is playing a game.
p -> q. p -> q. q -> p. Therefore q -> p.