Translate the following inference to logic notation: James is an electrician if and only if James is writing a letter. For all x, y will write a letter if and only if y is an electrician. Therefore James is writing a letter if and only if James is an electrician.
P(a) <-> Q(a). forall x: Q(x) <-> P(x). Therefore Q(a) <-> P(a).