Translate the following inference to logic notation: Elisabeth is a poet or James is a taxi driver. If James were a taxi driver, then Elisabeth is writing a letter. For all x, if x_14 were a poet, then x_14 is writing a letter. If James plays tennis, then Elisabeth is not writing a letter. Therefore James is not playing tennis.
P(a) or p. p -> Q(a). forall x: P(x) -> Q(x). q -> ~Q(a). Therefore ~q.