Translate the following inference to logic notation: For all x, if z_3 were a lawyer, then z_3 is a taxi driver. James is an astronaut if and only if Patricia is a lawyer. For all x, if z_3 were a taxi driver, then z_3 is a lawyer. For all x, z_3 is not a taxi driver. Therefore James is not an astronaut.
forall x: P(x) -> Q(x). p <-> P(a). forall x: Q(x) -> P(x). forall x: ~Q(x). Therefore ~p.