Translate the following inference to logic notation: It is cloudy if and only if William is writing a letter. William is not writing a letter. For all x, x_11 will play tennis. Therefore John is playing tennis.
p <-> q. ~q. forall x: P(x). Therefore P(a).