Translate the following inference to logic notation: Patricia is not driving a car. If it is overcast, then Patricia is poor. For all x, x_12 will drive a car if and only if x_12 is poor. It is overcast if and only if William is playing a game. Therefore William is not playing a game.
~P(a). p -> Q(a). forall x: P(x) <-> Q(x). p <-> q. Therefore ~q.