Translate the following inference to logic notation: Barbara is an electrician. If Barbara plays squash, then Linda is a carpenter. For all x, x_16 will play squash or x_16 is not an electrician. Therefore Linda is a carpenter.
P(a). Q(a) -> p. forall x: Q(x) or ~P(x). Therefore p.