Difference between revisions of "Iff"

(Gödel)
(Applications)
 
(2 intermediate revisions by the same user not shown)
Line 14: Line 14:
 
* if <math>q</math> then <math>p</math>
 
* if <math>q</math> then <math>p</math>
  
===Results===
+
===Applications===
[https://artofproblemsolving.com/wiki/index.php/Godel%27s_First_Incompleteness_Theoremm Gödel's Incompleteness Theorem]
+
[https://artofproblemsolving.com/wiki/index.php/Godel%27s_First_Incompleteness_Theorem Gödel's Incompleteness Theorem]
  
 
===Videos===
 
===Videos===

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 $\iff$.

It is also known as a biconditional statement.

An iff statement $p\iff q$ means $p\implies q$ and $q\implies p$ at the same time.

Examples

In order to prove a statement of the form "$p$ iff $q$," it is necessary to prove two distinct implications:

  • if $p$ then $q$
  • if $q$ then $p$

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.

Invalid username
Login to AoPS