Translate the following inference to logic notation: Joseph is not a writer. For all x, if y were excited, then y is a writer. Richard is fast. Therefore Joseph is not excited and Richard is fast.
~P(a). forall x: Q(x) -> P(x). p. Therefore ~Q(a) and p.