Translate the following inference to logic notation: Robert is playing a game if and only if James is reading a book. For all x, x_1 will not play a game. Therefore James is not reading a book.
P(a) <-> p. forall x: ~P(x). Therefore ~p.