Translate the following inference to logic notation: If Susan drives a car, then Mary is cooking. If Susan were a sailor, then Mary is cooking. For all x, x_10 is a sailor or x_10 will drive a car. If Mary cooks, then Susan is driving a car. Therefore Mary is cooking.
P(a) -> p. Q(a) -> p. forall x: Q(x) or P(x). p -> P(a). Therefore p.