Translate the following inference to logic notation: For all x, z will cook if and only if z will take a plane. If Michael cooks, then James is a scientist. Therefore if Michael takes a plane, then James is a scientist.
forall x: P(x) <-> Q(x). P(a) -> p. Therefore Q(a) -> p.