Translate the following inference to logic notation: If it is cold, then Karen is not a doctor. For all x, z_3 is a doctor. Patricia is a nurse if and only if it is not cold. Therefore Patricia is a nurse.
p -> ~P(a). forall x: P(x). q <-> ~p. Therefore q.