Translate the following inference to logic notation: James is climbing a mountain or James is not writing a letter. James is climbing a mountain if and only if James is writing a letter. Therefore James is writing a letter if and only if James is climbing a mountain.
p or ~q. p <-> q. Therefore q <-> p.