Translate the following inference to logic notation: Jennifer is not listening to a song. If it is late, then Jennifer is excited. For all x, if x_15 listens to a song, then x_15 is excited. For all x, x_15 is excited if and only if x_15 will listen to a song. Therefore it is not late.
~P(a). p -> Q(a). forall x: P(x) -> Q(x). forall x: Q(x) <-> P(x). Therefore ~p.