Translate the following inference to logic notation: Sarah is a musician. For all x, if x_17 were an electrician, then x_17 is a bartender. For all x, if x_17 were a bartender, then x_17 is an electrician. If Mary were a bartender, then Sarah is not a musician. Therefore Mary is not an electrician or Mary is a lawyer.
p. forall x: P(x) -> Q(x). forall x: Q(x) -> P(x). Q(a) -> ~p. Therefore ~P(a) or q.