The connective in (also denoted ) that returns a true result iff and are either both true or both false. The biconditional is also called an equivalence.

# Biconditional

## See also

Conditional, Equivalent## Explore with Wolfram|Alpha

## References

Carnap, R.*Introduction to Symbolic Logic and Its Applications.*New York: Dover, p. 8, 1958.Mendelson, E.

*Introduction to Mathematical Logic, 4th ed.*London: Chapman & Hall, p. 14, 1997.

## Referenced on Wolfram|Alpha

Biconditional## Cite this as:

Weisstein, Eric W. "Biconditional." From
*MathWorld*--A Wolfram Web Resource. https://mathworld.wolfram.com/Biconditional.html