Iff: Difference between revisions
fix link |
|||
| Line 14: | Line 14: | ||
* if <math>q</math> then <math>p</math> | * if <math>q</math> then <math>p</math> | ||
=== | ===Applications=== | ||
[https://artofproblemsolving.com/wiki/index.php/Godel%27s_First_Incompleteness_Theorem Gödel's Incompleteness Theorem] | [https://artofproblemsolving.com/wiki/index.php/Godel%27s_First_Incompleteness_Theorem Gödel's Incompleteness Theorem] | ||
Latest revision as of 01:13, 24 December 2020
Iff is an abbreviation for the phrase "if and only if."
In mathematical notation, "iff" is expressed as 
.
It is also known as a biconditional statement.
An iff statement 
means 
and 
at the same time.
Examples
In order to prove a statement of the form "
iff 
," it is necessary to prove two distinct implications:
- if
then 
- if then
Applications
Gödel's Incompleteness Theorem
Videos
Mathematical Logic ("I am in process of making a smoother version of this" -themathematicianisin).
See Also
This article is a stub. Help us out by expanding it.
