Translate the following inference to logic notation: For all x, x is a politician. For all x, x_18 is a bartender. For all x, x is a politician if and only if x will play squash. Therefore Sarah is a bartender and Linda is playing squash.
forall x: P(x). forall x: Q(x). forall x: P(x) <-> R(x). Therefore Q(a) and R(b).