Translate the following inference to logic notation: For all x, y_2 will cook or y_2 will not climb a mountain. If Richard cooks, then Mary is reading a book. For all x, if y_2 cooks, then y_2 is climbing a mountain. Therefore if Richard climbs a mountain, then Mary is reading a book.
forall x: P(x) or ~Q(x). P(a) -> p. forall x: P(x) -> Q(x). Therefore Q(a) -> p.