Difference between revisions of "Iff"

m
(Applications)
 
(7 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
'''Iff''' is an abbreviation for the phrase "if and only if."
 
'''Iff''' is an abbreviation for the phrase "if and only if."
  
In order to prove a statement of the form, "<math>p</math> iff <math>q</math>," it is necessary to prove two distinct implications:
+
In mathematical notation, "iff" is expressed as <math>\iff</math>.
  
* <math>p</math> implies <math>q</math> ("if <math>p</math>, then <math>q</math>")
+
It is also known as a [[conditional|biconditional]] statement.
* <math>q</math> implies <math>p</math> ("if <math>q</math>, then <math>p</math>")
 
  
If a statement is an "iff" statement, then it is a [[conditional|biconditional]] statement.
+
An iff statement <math>p\iff q</math> means <math>p\implies q</math> <b>and</b> <math>q\implies p</math> at the same time.
 +
 
 +
==Examples==
 +
 
 +
In order to prove a statement of the form "<math>p</math> iff <math>q</math>," it is necessary to prove two distinct implications:
 +
 
 +
* if <math>p</math> then <math>q</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]
 +
 
 +
===Videos===
 +
[https://www.youtube.com/embed/MckXBKafPfw Mathematical Logic] ("I am in process of making a smoother version of this" -themathematicianisin).
  
 
==See Also==
 
==See Also==

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.