Translate the following inference to logic notation: Susan is climbing a mountain. For all x, if z_1 were a sailor, then z_1 is not climbing a mountain. Therefore there is at least one x for which z_1 is not a sailor.
P(a). forall x: Q(x) -> ~P(x). Therefore exists x: ~Q(x).