Translate the following inference to logic notation: Karen is a taxi driver or Barbara is writing a letter. If Barbara writes a letter, then Karen is a lawyer. For all x, x_7 is a taxi driver if and only if x_7 is a lawyer. Therefore Karen is a lawyer.
P(a) or p. p -> Q(a). forall x: P(x) <-> Q(x). Therefore Q(a).