Translate the following inference to logic notation: James is playing squash or Patricia is not poor. For all x, if x_15 were a janitor, then x_15 is poor. If James plays squash, then Patricia is a janitor. Therefore James is playing squash if and only if Patricia is poor.
p or ~P(a). forall x: Q(x) -> P(x). p -> Q(a). Therefore p <-> P(a).