In logic, the phrase if and only if means "is logically equivalent to", or "is a necessary and sufficient condition for". It is often abbreviated iff.
For any statements P and Q,
- P if and only if Q
means the same thing as:
- P implies Q, and Q implies P.