Iff

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.

See Also

logic

This article is a stub. Help us out by expanding it.