Excluded middle

(logic)

The name given to the third of the "three logical axioms," so-called, namely, to that one which is expressed by the formula: "Everything is either A or Not-A." no third state or condition being involved or allowed. See Principle of contradiction, under Contradiction.

See also: Exclude