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