Iff: Difference between revisions
I_like_pie (talk | contribs) mNo edit summary |
No edit summary |
||
| 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 11: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.
