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