Translate the following inference to logic notation: For all x, if x climbs a mountain, then x is a scientist. For all x, x will climb a mountain if and only if x is a scientist. Therefore if Joseph were a scientist, then Joseph is climbing a mountain.
forall x: P(x) -> Q(x). forall x: P(x) <-> Q(x). Therefore Q(a) -> P(a).