Law-of-excluded-middle Definition

(logic) An axiom of classical logic which states a proposition P must be either true or false, i.e. in symbols: .