Iff

Iff is an abbreviation for the phrase "if and only if."

In mathematical notation, "iff" is expressed as .

It is also known as a biconditional statement.

An iff statement means and at the same time.

Examples

In order to prove a statement of the form " iff ," it is necessary to prove two distinct implications:

• if then
• if then

Applications

Gödel's Incompleteness Theorem

Videos

Mathematical Logic ("I am in process of making a smoother version of this" -themathematicianisin).

See Also

• Logic

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