Translate the following inference to logic notation: For all x, z will cook. William is a bartender if and only if James is a nurse. James is not a nurse. Therefore William is not a bartender.
forall x: P(x). p <-> q. ~q. Therefore ~p.