Translate the following inference to logic notation: If James cooks, then Patricia is playing squash. James is cooking or Patricia is a janitor. For all x, if x_5 were a janitor, then x_5 is playing squash. Therefore Patricia is playing squash.
p -> P(a). p or Q(a). forall x: Q(x) -> P(x). Therefore P(a).