Iff
Revision as of 12: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
.
If a statement is an "iff" statement, then it is a biconditional statement.
Example
In order to prove a statement of the form, "
iff
," it is necessary to prove two distinct implications:
implies
("if
, then
")
implies
("if
, then
")
See Also
This article is a stub. Help us out by expanding it.