Translate the following inference to logic notation: Sarah is climbing a mountain or Mary is not a taxi driver. For all x, y is bored if and only if y will climb a mountain. Sarah is bored or Mary is a taxi driver. Therefore Sarah is climbing a mountain.
P(a) or ~p. forall x: Q(x) <-> P(x). Q(a) or p. Therefore P(a).