Translate the following inference to logic notation: If Susan were a carpenter, then John is a server. John is a cashier or Susan is a carpenter. For all x, x_8 is a cashier if and only if x_8 is a server. Therefore John is a server.
p -> P(a). Q(a) or p. forall x: Q(x) <-> P(x). Therefore P(a).