Translate the following inference to logic notation: For all x, z_2 is not a poet. Joseph is a janitor if and only if Jessica is a poet. Therefore Joseph is not a janitor.
forall x: ~P(x). p <-> P(a). Therefore ~p.