Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Law of logic
|
| gptkbp:alsoKnownAs |
gptkb:Double_negation_elimination
|
| gptkbp:appliesTo |
Classical logic
Intuitionistic logic |
| gptkbp:eligibility |
Some intuitionistic logics
Some paraconsistent logics |
| https://www.w3.org/2000/01/rdf-schema#label |
Law of double negation
|
| gptkbp:originatedIn |
Ancient Greek logic
|
| gptkbp:relatedTo |
gptkb:Law_of_excluded_middle
Principle of non-contradiction |
| gptkbp:state |
Not not P is equivalent to P
|
| gptkbp:symbol |
¬(¬P) ⇔ P
|
| gptkbp:usedBy |
gptkb:Logicians
Philosophers Mathematicians |
| gptkbp:usedIn |
Predicate logic
Propositional logic |
| gptkbp:bfsParent |
gptkb:Classical_Logic
|
| gptkbp:bfsLayer |
5
|