Translate the following inference to logic notation: For all x, if x_8 climbs a mountain, then x_8 is poor. David is climbing a mountain. If Michael writes a letter, then David is poor. Therefore David is poor.
forall x: P(x) -> Q(x). P(a). p -> Q(a). Therefore Q(a).