excluded middle law

A law in (two-valued) logic which states that 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, in which "undecided" is a valid state, nor does it hold in fuzzy logic.

Related category

• LOGIC

Also on this site:

Encyclopedia of Alternative Energy & Sustainable Living
Encyclopedia of History

BACK TO TOP