Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
|
| gptkbp:alsoKnownAs |
principle of non-contradiction
|
| gptkbp:basisFor |
deductive reasoning
rational discourse |
| gptkbp:discusses |
gptkb:Metaphysics_(Aristotle)
|
| gptkbp:expressedIn |
¬(A ∧ ¬A)
|
| gptkbp:formedBy |
gptkb:Aristotle
|
| gptkbp:foundIn |
gptkb:classical_logic
|
| gptkbp:importantFor |
gptkb:logic
gptkb:mathematics gptkb:philosophy |
| gptkbp:opposedBy |
dialetheism
|
| gptkbp:relatedTo |
gptkb:law_of_excluded_middle
gptkb:law_of_identity |
| gptkbp:state |
contradictory statements cannot both be true in the same sense at the same time
|
| gptkbp:bfsParent |
gptkb:Laws_of_Thought
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
law of noncontradiction
|