BabelNet

bn:01004218n

Noun Concept

Categories: Classical logic, Articles with Internet Encyclopedia of Philosophy links, Articles containing proofs, Articles with short description, Theorems in propositional logic

law of excluded middle principle of excluded middle axiom of excluded middle Excluded-middle introduction excluded middle

In logic, the law of excluded middle states that for every proposition, either this proposition or its negation is true. Wikipedia

Definitions

Relations

Sources

In logic, the law of excluded middle states that for every proposition, either this proposition or its negation is true. Wikipedia

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

IS A

PART OF

HAS KIND

DIFFERENT FROM

law of noncontradiction

principle of bivalence

Wikipedia

law of excluded middle

Wikidata

principle of excluded middle

Wikipedia Redirections

Excluded-middle introduction, excluded middle, excluded third, Ganto's Ax, Law of Excluded Middle, Law of excluded third, law of the excluded middle, principle of excluded middle, principle of the excluded middle, tertium non datur, Tertium non detur, TertiumNonDatur, TheLawOfExcludedMiddle

Wikidata Alias

axiom of excluded middle, excluded middle, law of excluded middle, law of the excluded third, principle of the excluded third, tertium non datur