Translate the following inference to logic notation: For all x, x_10 is a writer or x_10 will cook. Mary is cooking if and only if Linda is running. For all x, x_10 is not a writer or x_10 will play squash. If Mary plays squash, then Linda is running. Therefore Linda is running.
forall x: P(x) or Q(x). Q(a) <-> p. forall x: ~P(x) or R(x). R(a) -> p. Therefore p.