Translate the following inference to logic notation: It is snowing or Jennifer is climbing a mountain. For all x, x_12 will climb a mountain if and only if x_12 is a mechanic. It is snowing if and only if Jennifer is a mechanic. Therefore Jennifer is a mechanic.
p or P(a). forall x: P(x) <-> Q(x). p <-> Q(a). Therefore Q(a).