Translate the following inference to logic notation: Barbara is a mechanic if and only if Barbara is a server. For all x, if y were a mechanic, then y is a server. Therefore if Barbara were a mechanic, then Barbara is a server.
P(a) <-> Q(a). forall x: P(x) -> Q(x). Therefore P(a) -> Q(a).