Difference between revisions of "Iff"
I_like_pie (talk | contribs) m |
|||
| Line 5: | Line 5: | ||
If a statement is an "iff" statement, then it is a [[biconditional]] statement. | If a statement is an "iff" statement, then it is a [[biconditional]] statement. | ||
| − | + | ==See Also== | |
| + | |||
| + | [[logic]] | ||
[[Category:Definition]] | [[Category:Definition]] | ||
| + | |||
| + | {{stub}} | ||
Revision as of 12:40, 5 November 2007
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
This article is a stub. Help us out by expanding it.
