Translate the following inference to logic notation: If Patricia writes a letter, then William is sleeping. For all x, x_10 will write a letter or x_10 is excited. If William sleeps, then Patricia is writing a letter. William is not sleeping. Therefore Patricia is excited.
P(a) -> p. forall x: P(x) or Q(x). p -> P(a). ~p. Therefore Q(a).