Translate the following inference to logic notation: For all x, x_17 will read a book if and only if x_17 is a musician. For all x, x_17 will read a book or x_17 is a poet. David is playing a game. For all x, x_17 is not a musician. Therefore Susan is a poet and David is playing a game.
forall x: P(x) <-> Q(x). forall x: P(x) or R(x). p. forall x: ~Q(x). Therefore R(a) and p.