Translate the following inference to logic notation: Richard is an office clerk if and only if Joseph is a bartender. For all x, z_4 is not a bartender. Therefore Richard is not an office clerk.
p <-> P(a). forall x: ~P(x). Therefore ~p.