law of the excluded middle


law of the excluded middle

[¦lȯ əvthē ik‚sklüd·əd ′mid·əl] (mathematics) A principle of logic whereby a proposition is either true or false but cannot be both true and false. Also known as principle of dichotomy.