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, EquivalentExplore 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
BiconditionalCite this as:
Weisstein, Eric W. "Biconditional." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Biconditional.html