Translate the following inference to logic notation: It is snowing or it is overcast. If it is overcast, then James is reading a book. For all x, x_10 will read a book or x_10 will not play a game. It is not snowing or James is playing a game. Therefore James is reading a book.
p or q. q -> P(a). forall x: P(x) or ~Q(x). ~p or Q(a). Therefore P(a).