Translate the following inference to logic notation: If Jessica were a nurse, then Linda is not happy. For all x, x_11 is happy and x_11 is a writer. Therefore Jessica is not a nurse.
p -> ~P(a). forall x: P(x) and Q(x). Therefore ~p.