Translate the following inference to logic notation: For all x, x_8 will not sleep. For all x, x_8 will sleep if and only if x_8 will cook. Charles is cooking if and only if Linda is a server. Therefore Linda is not a server.
forall x: ~P(x). forall x: P(x) <-> Q(x). Q(a) <-> p. Therefore ~p.