Translate the following inference to logic notation: For all x, z will climb a mountain or z will write a letter. If Richard writes a letter, then Sarah is an office clerk. If Richard climbs a mountain, then Sarah is an office clerk. Therefore Sarah is an office clerk or John is an electrician.
forall x: P(x) or Q(x). Q(a) -> p. P(a) -> p. Therefore p or q.