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
Rossby number: Ro = U/(L·f)
Explore Law of excluded middle on the interactive knowledge graph →