Translate the following inference to logic notation: If Jessica were fast, then Linda is writing a letter. If Jessica were a server, then Linda is writing a letter. If Linda writes a letter, then it is windy. For all x, x is fast or x is a server. Therefore it is windy.
P(a) -> p. Q(a) -> p. p -> q. forall x: P(x) or Q(x). Therefore q.