Translate the following inference to logic notation: It is late. If it is overcast, then it is not late. For all x, x_12 will play tennis if and only if x_12 is a scientist. It is overcast if and only if Jennifer is a scientist. Therefore Jennifer is not playing tennis.
p. q -> ~p. forall x: P(x) <-> Q(x). q <-> Q(a). Therefore ~P(a).