Translate the following inference to logic notation: If Karen were not a cashier, then Charles is poor. For all x, x_17 is a politician if and only if x_17 is a carpenter. For all x, x_17 is not a politician. If Karen were a cashier, then Mary is a carpenter. Therefore Charles is poor.
~p -> q. forall x: P(x) <-> Q(x). forall x: ~P(x). p -> Q(a). Therefore q.