Translate the following inference to logic notation: If Patricia takes a plane, then Barbara is an artist. For all x, z will not take a plane. If Barbara were an artist, then Patricia is taking a plane. Therefore Barbara is not an artist.
P(a) -> p. forall x: ~P(x). p -> P(a). Therefore ~p.