Worlds of David Darling
Encyclopedia of Science
Home > Encyclopedia of Science

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