Translate the following inference to logic notation: If Jennifer were an astronaut, then Jessica is playing squash. Jessica is poor or Jennifer is an astronaut. For all x, if y were poor, then y is playing squash. For all x, if y plays squash, then y is poor. Therefore Jessica is playing squash.
p -> P(a). Q(a) or p. forall x: Q(x) -> P(x). forall x: P(x) -> Q(x). Therefore P(a).