Translate the following inference to logic notation: Michael is a musician or Susan is not a carpenter. For all x, if y drinks water, then y is a carpenter. Therefore if Susan drinks water, then Michael is a musician.
p or ~P(a). forall x: Q(x) -> P(x). Therefore Q(a) -> p.