Translate the following inference to logic notation: For all x, z is a politician if and only if z will cook. Elisabeth is a cashier. Jennifer is not cooking. Therefore Elisabeth is a cashier or it is windy.
forall x: P(x) <-> Q(x). p. ~Q(a). Therefore p or q.