Translate the following inference to logic notation: If Linda were a cashier, then it is late. If it is late, then Linda is playing squash. For all x, if y_3 plays squash, then y_3 is a cashier. Therefore if it is late, then Linda is a cashier.
P(a) -> p. p -> Q(a). forall x: Q(x) -> P(x). Therefore p -> P(a).