Translate the following inference to logic notation: For all x, z_2 is not rich. Thomas is rich if and only if Richard is taking a plane. Therefore Richard is not taking a plane.
forall x: ~P(x). P(a) <-> p. Therefore ~p.