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, EquivalentExplore with Wolfram|Alpha
WolframAlpha
More things to try:
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
BiconditionalCite this as:
Weisstein, Eric W. "Biconditional." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Biconditional.html