Translate the following inference to logic notation: Michael is not climbing a mountain. For all x, x_9 is excited if and only if x_9 will climb a mountain. If Michael were excited, then Michael is climbing a mountain. Therefore Michael is not excited.
~P(a). forall x: Q(x) <-> P(x). Q(a) -> P(a). Therefore ~Q(a).