Translate the following inference to logic notation: James is writing a letter if and only if Linda is a mechanic. James is writing a letter or Michael is not driving a car. If Linda were a mechanic, then Michael is driving a car. Therefore if James writes a letter, then Linda is a mechanic.
p <-> q. p or ~r. q -> r. Therefore p -> q.