Translate the following inference to logic notation: For all x, x_17 will play a game or x_17 is not a poet. If Barbara plays a game, then Joseph is a sailor. It is windy if and only if Joseph is a sailor. It is windy or Barbara is a poet. Therefore Joseph is a sailor.
forall x: P(x) or ~Q(x). P(a) -> p. q <-> p. q or Q(a). Therefore p.