Difference between revisions of "Iff"
(Gödel) |
(→Results) |
||
Line 14: | Line 14: | ||
* if <math>q</math> then <math>p</math> | * if <math>q</math> then <math>p</math> | ||
− | === | + | ===Applications=== |
− | [ | + | [[Godel's_First_Incompleteness_Theorem]] |
===Videos=== | ===Videos=== |
Revision as of 01:08, 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.
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
Applications
Godel's_First_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.