Translate the following inference to logic notation: Thomas is not poor. It is cold if and only if Thomas is taking a plane. For all x, if x_10 takes a plane, then x_10 is poor. Therefore it is not cold.
~P(a). p <-> Q(a). forall x: Q(x) -> P(x). Therefore ~p.