Law of excluded middle

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf Law of thought
Logical principle
gptkbp:alsoKnownAs Principle of excluded middle
gptkbp:appliesTo Classical logic
gptkbp:category gptkb:logic
gptkb:Philosophy_of_logic
gptkbp:contrastsWith Dialetheism
Tertium non datur
gptkbp:doesNotApplyIn Intuitionistic logic
gptkbp:firstAppearance gptkb:Metaphysics
gptkbp:formedBy gptkb:Aristotle
https://www.w3.org/2000/01/rdf-schema#label Law of excluded middle
gptkbp:relatedTo gptkb:Law_of_identity
gptkb:Law_of_noncontradiction
gptkbp:state For any proposition, either that proposition is true or its negation is true
gptkbp:symbol P ∨ ¬P
gptkbp:usedIn gptkb:Mathematics
gptkb:philosophy
Computer science
gptkbp:bfsParent gptkb:Classical_Logic
gptkbp:bfsLayer 5