Translate the following inference to logic notation: For all x, x is a poet if and only if x will play tennis. Susan is a poet or it is not late. Therefore if it is late, then Susan is playing tennis.
forall x: P(x) <-> Q(x). P(a) or ~p. Therefore p -> Q(a).