Translate the following inference to logic notation: If Linda were a cashier, then it is raining. If it rains, then Linda is a politician. For all x, if z were a politician, then z is a cashier. Therefore if it rains, then Linda is a cashier.
P(a) -> p. p -> Q(a). forall x: Q(x) -> P(x). Therefore p -> P(a).