Translate the following inference to logic notation: Michael is a janitor. For all x, if y takes a plane, then y is an artist. Jessica is not taking a plane. For all x, if y were an artist, then y is taking a plane. Therefore Jessica is not an artist and Michael is a janitor.
p. forall x: P(x) -> Q(x). ~P(a). forall x: Q(x) -> P(x). Therefore ~Q(a) and p.