Translate the following inference to logic notation: For all x, x_17 is a writer or x_17 is a police officer. Jessica is playing a game if and only if Barbara is a writer. If Barbara were a police officer, then Jessica is playing a game. Therefore Jessica is playing a game or Jessica is a politician.
forall x: P(x) or Q(x). p <-> P(a). Q(a) -> p. Therefore p or q.