Translate the following inference to logic notation: If David were a writer, then it is cold. For all x, if x were a writer, then x is writing a letter. It is cold if and only if David is a writer. Therefore if it is cold, then David is writing a letter.
P(a) -> p. forall x: P(x) -> Q(x). p <-> P(a). Therefore p -> Q(a).