Difference between revisions of "Iff"

m
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 21: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.

Invalid username
Login to AoPS