Iff: Difference between revisions

Revision as of 01:12, 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.

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

Mathematical Logic ("I am in process of making a smoother version of this" -themathematicianisin).

@@ Line 14: / Line 14: @@
 * if <math>q</math> then <math>p</math>
-===Applications===
+===Results===
-[[Godel's_First_Incompleteness_Theorem]]
+[https://artofproblemsolving.com/wiki/index.php/Godel%27s_First_Incompleteness_Theorem Gödel's Incompleteness Theorem]
 ===Videos===