Principle of excluded middle

logical principle stating that for every proposition, either it or its negation is true

Pronunciation

Categories