Translate the following inference to logic notation: Charles is writing a letter if and only if Linda is a server. Linda is not a server. For all x, y will write a letter if and only if y will play a game. Therefore Charles is not playing a game or it is snowing.
P(a) <-> p. ~p. forall x: P(x) <-> Q(x). Therefore ~Q(a) or q.