Translate the following inference to logic notation: For all x, x_9 will play tennis if and only if x_9 will work. John is working or Patricia is a politician. If Patricia were a politician, then John is playing tennis. Therefore John is playing tennis.
forall x: P(x) <-> Q(x). Q(a) or p. p -> P(a). Therefore P(a).