Translate the following inference to logic notation: For all x, x will take a plane if and only if x is a soldier. Thomas is a soldier if and only if Thomas is taking a plane. Therefore Thomas is taking a plane if and only if Thomas is a soldier.
forall x: P(x) <-> Q(x). Q(a) <-> P(a). Therefore P(a) <-> Q(a).