Iff is an abbreviation for the phrase "if and only if."
In order to prove a statement of the form, "A iff B," it is necessary to prove two distinct implications: that A implies B ("if A then B") and that B implies A ("if B then A").
If a statement is an "iff" statement, then it is a biconditional statement.
This article is a stub. Help us out by.