Translate the following inference to logic notation: Linda is taking a plane if and only if Sarah is a scientist. Linda is taking a plane. For all x, z_4 is not a scientist. Therefore Barbara is a carpenter.
p <-> P(a). p. forall x: ~P(x). Therefore q.