Ontology Browser
›
logic
› Law of excluded middle
Law of excluded middle
Layer 0 — Mathematics
in the
logic
subtree
Every proposition is either true or its negation is true.
Related concepts
Logical disjunction (OR)
Logical negation (NOT)
Tautology
Intuitionistic logic
Explore Law of excluded middle on the interactive knowledge graph →