Translate the following inference to logic notation: For all x, if x_12 climbs a mountain, then x_12 is playing tennis. Linda is not climbing a mountain. Linda is climbing a mountain if and only if Linda is playing tennis. Therefore Linda is not playing tennis.
forall x: P(x) -> Q(x). ~P(a). P(a) <-> Q(a). Therefore ~Q(a).