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
Home • About • Copyright © The Worlds of David Darling • Encyclopedia of Alternative Energy • Contact