made with Mathematica technology MathWorld

Law of the Excluded Middle

A law in (2-valued) logic which states there is no third alternative to truth or falsehood. In other words, for any statement A, either A or not-A must be true and the other must be false. This law no longer holds in three-valued logic or fuzzy logic.

SEE ALSO: Bivalent, Fuzzy Logic, Three-Valued Logic

REFERENCES:

Erickson, G. W. and Fossa, J. A. Dictionary of Paradox. Lanham, MD: University Press of America, pp. 64-65, 1998.




CITE THIS AS:

Weisstein, Eric W. "Law of the Excluded Middle." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/LawoftheExcludedMiddle.html

The Wolfram Demonstrations Project Browse Topics View Latest
JUST RELEASED: Wolfram Mathematica 7