Translate the following inference to logic notation: Elisabeth is not a doctor. Elisabeth is a doctor or Mary is cooking. For all x, x will write a letter. Therefore Linda is writing a letter.
~p. p or q. forall x: P(x). Therefore P(a).