Translate the following inference to logic notation: For all x, y is a musician. If Barbara were a mechanic, then Thomas is not a musician. Therefore Barbara is not a mechanic.
forall x: P(x). p -> ~P(a). Therefore ~p.