What does P mean in discrete mathematics if and only if Q?
That is, P (proposition) holds if and only if Q (proposition) holds.
It can also be expressed as: when P (proposition) holds, Q (proposition) holds; When q (proposition) holds, p (proposition) holds. That is, P (proposition) is equivalent to Q (proposition).