Translate the following inference to logic notation: For all x, x will not go running. For all x, x will go running if and only if x is a nurse. If John were a doctor, then John is a nurse. Therefore John is not a doctor.
forall x: ~P(x). forall x: P(x) <-> Q(x). p -> Q(a). Therefore ~p.