Translate the following inference to logic notation: For all x, if x_12 were rich, then x_12 is writing a letter. David is rich if and only if David is writing a letter. David is not rich. Therefore David is not writing a letter.
forall x: P(x) -> Q(x). P(a) <-> Q(a). ~P(a). Therefore ~Q(a).