Translate the following inference to logic notation: Linda is not a mechanic. Patricia is writing a letter if and only if Linda is a mechanic. For all x, x_11 is rich. Therefore Patricia is not writing a letter.
~p. q <-> p. forall x: P(x). Therefore ~q.