Translate the following inference to logic notation: Richard is a poet if and only if it is late. Richard is not writing a letter. For all x, if x_15 were a poet, then x_15 is writing a letter. Therefore it is not late.
P(a) <-> p. ~Q(a). forall x: P(x) -> Q(x). Therefore ~p.