Translate the following inference to logic notation: If Patricia were an astronaut, then William is drinking water. For all x, x_8 is an astronaut or x_8 is a carpenter. William is drinking water or Patricia is not a carpenter. Therefore William is drinking water.
P(a) -> p. forall x: P(x) or Q(x). p or ~Q(a). Therefore p.