Translate the following inference to logic notation: Patricia is working if and only if Charles is a bartender. Charles is not a bartender. For all x, x_7 is a politician if and only if x_7 will work. Therefore Patricia is not a politician.
P(a) <-> p. ~p. forall x: Q(x) <-> P(x). Therefore ~Q(a).