Translate the following inference to logic notation: For all x, y_2 is a sailor or y_2 will take a plane. If David were a sailor, then Jennifer is a janitor. If David takes a plane, then Jennifer is a janitor. Therefore Jennifer is a janitor or Sarah is climbing a mountain.
forall x: P(x) or Q(x). P(a) -> p. Q(a) -> p. Therefore p or q.