Difference between revisions of "Iff"
(→Videos: quotes) |
(Gödel) |
||
Line 7: | Line 7: | ||
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. | 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: | 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>p</math> then <math>q</math> | ||
* if <math>q</math> then <math>p</math> | * if <math>q</math> then <math>p</math> | ||
+ | |||
+ | ===Results=== | ||
+ | [https://artofproblemsolving.com/wiki/index.php/Godel%27s_First_Incompleteness_Theoremm Gödel's Incompleteness Theorem] | ||
===Videos=== | ===Videos=== |
Revision as of 17:21, 31 July 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.
Contents
[hide]Examples
In order to prove a statement of the form " iff ," it is necessary to prove two distinct implications:
- if then
- if then
Results
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.