Translate the following inference to logic notation: It is not cold. For all x, x_11 is a writer if and only if x_11 is a nurse. If Robert climbs a mountain, then it is cold. Linda is not a nurse. Therefore Robert is not climbing a mountain and Linda is not a writer.
~p. forall x: P(x) <-> Q(x). q -> p. ~Q(a). Therefore ~q and ~P(a).