Translate the following inference to logic notation: Linda is not a doctor. Linda is a doctor if and only if Robert is climbing a mountain. Susan is writing a letter if and only if Robert is climbing a mountain. Therefore Susan is not writing a letter.
~p. p <-> q. r <-> q. Therefore ~r.