Difference between revisions of "Iff"

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.
  
{{stub}}
+
==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

logic

This article is a stub. Help us out by expanding it.

Invalid username
Login to AoPS