Iff

Revision as of 13:35, 26 January 2013 by NeoMathematicalKid (talk | contribs) (Added notation and section)

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

In mathematical notation, "iff" is expressed as $\iff$.

If a statement is an "iff" statement, then it is a biconditional statement.

Example

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

  • $p$ implies $q$ ("if $p$, then $q$")
  • $q$ implies $p$ ("if $q$, then $p$")

See Also

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