Translate the following inference to logic notation: For all x, if z were poor, then z is drinking water. If Jennifer plays a game, then Michael is poor. Jennifer is playing a game or Michael is drinking water. For all x, if z drinks water, then z is poor. Therefore Michael is poor.
forall x: P(x) -> Q(x). p -> P(a). p or Q(a). forall x: Q(x) -> P(x). Therefore P(a).