Translate the following inference to logic notation: For all x, x_17 will not work. For all x, x_17 is a writer if and only if x_17 will work. If Karen were a scientist, then Jennifer is a lawyer. For all x, x_17 is a writer or x_17 is a scientist. Therefore Jennifer is a lawyer.
forall x: ~P(x). forall x: Q(x) <-> P(x). R(a) -> p. forall x: Q(x) or R(x). Therefore p.