Difference between revisions of "Iff"
m |
I_like_pie (talk | contribs) m |
||
| Line 2: | Line 2: | ||
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"). | 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. | ||
{{stub}} | {{stub}} | ||
[[Category:Definition]] | [[Category:Definition]] | ||
Revision as of 22:00, 1 November 2006
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.
This article is a stub. Help us out by expanding it.
