TOPICS
Search

Biconditional


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


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

Subject classifications