Translate the following inference to logic notation: Elisabeth is writing a letter if and only if Richard is making tea. For all x, x_8 is a scientist or x_8 will make tea. If Richard were a scientist, then Elisabeth is writing a letter. Therefore Elisabeth is writing a letter.
p <-> P(a). forall x: Q(x) or P(x). Q(a) -> p. Therefore p.