Translate the following inference to logic notation: Richard is playing a game if and only if Mary is writing a letter. Mary is not writing a letter. For all x, x_12 will go running if and only if x_12 will play a game. Therefore Richard is not running.
P(a) <-> p. ~p. forall x: Q(x) <-> P(x). Therefore ~Q(a).