Translate the following inference to logic notation: Barbara is not writing a letter. For all x, x_11 will write a letter if and only if x_11 is an artist. If Michael were excited, then Barbara is an artist. Therefore Michael is not excited.
~P(a). forall x: P(x) <-> Q(x). p -> Q(a). Therefore ~p.