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
|