Translate the following inference to logic notation: For all x, x_14 will not play tennis. Linda is playing tennis if and only if it is overcast. Therefore it is not overcast or Elisabeth is reading a book.
forall x: ~P(x). P(a) <-> p. Therefore ~p or q.