Art of Problem Solving

Iff: Difference between revisions

Mag1c (talk | contribs)
Videos: I am in process of making a smoother version of this -themathematicianisin
Mag1c (talk | contribs)
Videos: quotes
Line 14: Line 14:


===Videos===
===Videos===
[https://www.youtube.com/embed/MckXBKafPfw Mathematical Logic] (I am in process of making a smoother version of this -themathematicianisin).
[https://www.youtube.com/embed/MckXBKafPfw Mathematical Logic] ("I am in process of making a smoother version of this" -themathematicianisin).


==See Also==
==See Also==

Revision as of 16:56, 31 July 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.

Example

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$

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.