# Difference between revisions of "Iff"

(Added notation and section) |
|||

Line 3: | Line 3: | ||

In mathematical notation, "iff" is expressed as <math>\iff</math>. | In mathematical notation, "iff" is expressed as <math>\iff</math>. | ||

− | + | It is also known as 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. | ||

==Example== | ==Example== | ||

− | In order to prove a statement of the form | + | 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> | ||

− | + | ===Videos=== | |

− | + | [https://www.youtube.com/embed/MckXBKafPfw Mathematical Logic] | |

==See Also== | ==See Also== |

## Revision as of 16:45, 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.

## Example

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

- if then
- if then

### Videos

## See Also

*This article is a stub. Help us out by expanding it.*