Iff

Revision as of 21:00, 1 November 2006 by I_like_pie (talk | contribs)

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 expanding it.