Translate the following inference to logic notation: For all x, z_3 is not a nurse. For all x, x_12 is a server if and only if x_12 is a cashier. If James were a cashier, then Mary is a nurse. Therefore James is not a server.
forall x: ~P(x). forall x: Q(x) <-> R(x). R(a) -> P(b). Therefore ~Q(a).