Translate the following inference to logic notation: It is not raining. For all x, x_8 is an office clerk or x_8 is a writer. Sarah is an office clerk if and only if it is raining. Therefore Sarah is a writer.
~p. forall x: P(x) or Q(x). P(a) <-> p. Therefore Q(a).